Publications

Export 5 results:
Sort by: Title [ Year (Desc)]
2007
Alferes, {José Júlio Alves}. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases." CEUR Workshop Proceedings. 2007. 347-354. Abstract
n/a
2005
Alferes, {José Júlio Alves}. "The well supported semantics for multidimensional dynamic logic programs." Lecture Notes in Computer Science. Vol. 3662. 2005. 356-368. Abstract
n/a
2004
Alferes, {José Júlio Alves}. "Well founded semantics for logic program updates." Lecture Notes in Artificial Intelligence. Vol. 3315. 2004. 397-407. Abstract
n/a
1999
Alferes, {José Júlio Alves}. "Well-founded abduction via tabled dual programs." MIT Press. 1999. 426-440. Abstract
n/a
1992
Alferes, {José Júlio Alves}. "WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION." John Wiley & Sons. 1992. 102-106. Abstract
n/a