Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. LPKR 1997: Port Jefferson, New York, USA
- Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski:
Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers. Lecture Notes in Computer Science 1471, Springer 1998, ISBN 3-540-64958-1
Introduction
- Gerhard Brewka, Jürgen Dix:
Knowledge Representation with Logic Programs. 1-51
Disjunctive Semantics
- Sergio Greco
, Nicola Leone, Francesco Scarcello:
DATALOG with Nested Rules. 52-65 - Dietmar Seipel:
Partial Evidential Stable Models for Disjunctive Deductive Databases. 66-84 - Li-Yan Yuan, Jia-Huai You, Randy Goebel:
Disjunctive Logic Programming and Autoepistemic Logic. 85-101
Abduction
- Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi:
A System for Abductive Learning of Logic Programs. 102-122 - Renwei Li, Luís Moniz Pereira, Verónica Dahl:
Refining Action Theories through Abductive Logic Programming. 123-138 - Kewen Wang, Huowang Chen:
Abduction, Argumentation and Bi-Disjunctive Logic Programs. 139-163
Priorities
- Michael Gelfond, Tran Cao Son:
Reasoning with Prioritized Defaults. 164-223
Updates
- João Alexandre Leite, Luís Moniz Pereira:
Generalizing Updates: From Models to Programs. 224-246
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
