The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase nonmonotonic knowledge bases (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2009 (14)
Publication types (Num. hits)
article(6) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
73Ján Sefránek Irrelevant Updates and Nonmonotonic Assumptions. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF foundations of logic-based AI systems, nonmonotonic knowledge bases, logic programming, updates, nonmonotonic reasoning
62Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Reasoning about evolving nonmonotonic knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
45Cara MacNish A Note on the Refinement of Nonmonotonic Knowledge Bases. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Refinement, Nonmonotonic reasoning, Default logic
27Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner Combining Nonmonotonic Knowledge Bases with External Sources. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Ján Sefránek, Jozef Siika Irrelevant Updates of Nonmonotonic Knowledge Bases. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
27Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Declarative Update Policies for Nonmonotonic Knowledge Bases. Search on Bibsonomy Logics for Emerging Applications of Databases The full citation details ... 2003 DBLP  BibTeX  RDF
27Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Reasoning about Evolving Nonmonotonic Knowledge Bases Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
27Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Reasoning about Evolving Nonmonotonic Knowledge Bases. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Grigoris Antoniou, Cara MacNish Conservative extension concepts for nonmonotonic knowledge bases. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Riccardo Rosati Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. Search on Bibsonomy ECAI The full citation details ... 1998 DBLP  BibTeX  RDF
27Grigoris Antoniou Verification and correctness issues for nonmonotonic knowledge bases. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Bertrand Mazure, Lakhdar Sais, Éric Grégoire Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. Search on Bibsonomy ECSQARU-FAPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Grigoris Antoniou Integrity and rule checking in nonmonotonic knowledge bases. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Grigoris Antoniou Verification and Correctness Issues for Nonmonotonic Knowledge Bases. Search on Bibsonomy EUROVAV The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license