802 citations
- Heidelberg UniversityDE8 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Clausthal University of TechnologyDE4 papers
- University of Science and Technology of ChinaCN4 papers
- University of ViennaAT4 papers
- Hebrew University of JerusalemIL3 papers
- Yale UniversityUS3 papers
- Astronomical Institute of the Slovak Academy of SciencesSK2 papers
- Ben-Gurion University of the NegevIL2 papers
- College of Staten IslandUS2 papers
- ETH ZurichCH2 papers
- European Organization for Nuclear ResearchCH2 papers
Showing 2002 · cs.AIShow all
2 papers · 2 filters
cs.AI2002
Reasoning about Evolving Nonmonotonic Knowledge Bases
T. Eiter, M. Fink, G. Sabbatini +1
Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of r…
cs.AI2002
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
David Pearce, Vladimir Sarsakov, Torsten Schaub +2
Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies of logic program rules under the answer sets seman…