LPKR '97 : logic programming and knowledge representation (Port Jefferson NY, 17 October 1997)Dix, Jürgen; Pereira, Luís Moniz; Przymusinski, Teodor C et al.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64958-1, VIII, 246 p, isbn 3-540-64958-1Conference Proceedings

Partial evidential stable models for disjunctive deductive databasesSEIPEL, D.Lecture notes in computer science. 1998, pp 66-84, issn 0302-9743, isbn 3-540-64958-1Conference Paper

Representing the process semantics in the event calculusCHUNPING LI.Lecture notes in computer science. 2000, pp 118-132, issn 0302-9743, isbn 3-540-41131-3Conference Paper

DATALOG with nested rulesGRECO, S; LEONE, N; SCARCELLO, F et al.Lecture notes in computer science. 1998, pp 52-65, issn 0302-9743, isbn 3-540-64958-1Conference Paper

An algorithmic approach to recover inconsistent knowledge-basesARIELI, Ofer.Lecture notes in computer science. 2000, pp 148-162, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Logics in artificial intelligence (Málaga, 29 September - 2 October 2000)Ojeda-Aciego, Manuel; de Guzmán, Inma P; Brewka, Gerhard et al.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-41131-3, XI, 406 p, isbn 3-540-41131-3Conference Proceedings

Capturing stationary and regular extensions with Reiter's extensionsJANHUNEN, Tomi.Lecture notes in computer science. 2000, pp 102-117, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Abduction, argumentation and bi-disjunctive logic programsKEWEN WANG; HUOWANG CHEN.Lecture notes in computer science. 1998, pp 139-163, issn 0302-9743, isbn 3-540-64958-1Conference Paper

Generalizing updates : From models to programsLEITE, J. A; PEREIRA, L. M.Lecture notes in computer science. 1998, pp 224-246, issn 0302-9743, isbn 3-540-64958-1Conference Paper

Topo-distance : Measuring the difference between spatial patternsAIELLO, Marco.Lecture notes in computer science. 2000, pp 73-86, issn 0302-9743, isbn 3-540-41131-3Conference Paper

On dialogue systems with speech acts, arguments, and counterargumentsPRAKKEN, Henry.Lecture notes in computer science. 2000, pp 224-238, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Knowledge representation with logic programsBREWKA, G; DIX, J.Lecture notes in computer science. 1998, pp 1-51, issn 0302-9743, isbn 3-540-64958-1Conference Paper

A framework for belief updateLIBERATORE, Paolo.Lecture notes in computer science. 2000, pp 361-375, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Acceptance without minimalityNAYAK, Abhaya C.Lecture notes in computer science. 2000, pp 163-178, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Declarative formalization of strategies for action selection : Applications to planningSIERRA-SANTIBANEZ, Josefina.Lecture notes in computer science. 2000, pp 133-147, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Reasoning with prioritized defaultsGELFOND, M; TRAN CAO SON.Lecture notes in computer science. 1998, pp 164-223, issn 0302-9743, isbn 3-540-64958-1Conference Paper

A Logic for modeling decision making with dynamic preferencesDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2000, pp 391-406, issn 0302-9743, isbn 3-540-41131-3Conference Paper

An abductive mechanism for Natural Language Processing based on Lambek calculusFRIAS DELGADO, Antonio; JIMENEZ MILLAN, Jose Antonio.Lecture notes in computer science. 2000, pp 87-101, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Credulous and sceptical argument games for preferred semanticsVREESWIJK, Gerard A. W; PRAKKEN, Henry.Lecture notes in computer science. 2000, pp 239-253, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Disjunctive logic programming and autoepistemic logicYUAN, L.-Y; YOU, J.-H; GOEBEL, R et al.Lecture notes in computer science. 1998, pp 85-101, issn 0302-9743, isbn 3-540-64958-1Conference Paper

Hybrid probabilistic Logic Programs as residuated Logic ProgramsVIEGAS DAMASIO, Carlos; MONIZ PEREIRA, Luis.Lecture notes in computer science. 2000, pp 57-72, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Multi-agent VSK logicWOOLDRIDGE, Michael; LOMUSCIO, Alessio.Lecture notes in computer science. 2000, pp 300-312, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Avoiding logical omniscience by using subjective situationsMORENO, Antonio; CORTES, Ulises; SALES, Ton et al.Lecture notes in computer science. 2000, pp 284-299, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Monodic epistemic predicate logicSTURM, Holger; WOLTER, Frank; ZAKHARYASCHEV, Michael et al.Lecture notes in computer science. 2000, pp 329-344, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Partially adaptive code treesRIAZANOV, Alexandre; VORONKOV, Andrei.Lecture notes in computer science. 2000, pp 209-223, issn 0302-9743, isbn 3-540-41131-3Conference Paper