Logic Programming and Nonmonotonic Reasoning

Book title Buchtitel
Logic Programming and Nonmonotonic Reasoning
Editor Herausgeber_in
Publisher Herausgeber
Lecture Notes in Computer Science, Springer LNCS
Place of publishing Erscheinungsort
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

Results 1-20 of 24 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Baral, Chitta ; Brewka, Gerd ; Schlipf, John A Preference-Based Framework for Updating Logic ProgramsKonferenzbeitrag Inproceedings 2007
2Pkhakadze, Sopo ; Tompits, Hans A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non DaturKonferenzbeitrag Inproceedings 2019
3Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ; Cabalar, Pedro ; Son, Tran Cao ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
4Delgrande, James ; Peppas, Pavlos ; Woltran, Stefan ; Cabalar, Pedro ; Son, Tran Cao AGM-Style Belief Revision of Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings 2013
5Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan ; Balduccini, Marcello ; Janhunen, Tomi Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017
6Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Delgrande, James P. ; Faber, Wolfgang Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
7Brewka, Gerhard ; Eiter, Thomas ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten Argumentation Context Systems: A Framework for Abstract Group ArgumentationKonferenzbeitrag Inproceedings 2009
8Ambroz, Thomas ; Charwat, Günther ; Jusits, Andreas ; Wallner, Johannes Peter ; Woltran, Stefan ; Cabalar, Pedro ; Son, Tran Cao ARVis: Visualizing Relations between Answer SetsKonferenzbeitrag Inproceedings 2013
9Weinzierl, Antonius ; Balduccini, Marcello ; Janhunen, Tomi Blending Lazy-Grounding and CDNL Search for Answer-Set SolvingKonferenzbeitrag Inproceedings 2017
10de Bruijn, Jos ; Heymans, Stijn Complexity of the Stable Model Semantics for Queries on Incomplete DatabasesKonferenzbeitrag Inproceedings 2009
11Van Nieuwenborgh, Davy ; Eiter, Thomas ; Vermeir, Dirk ; Baral, Chitta ; Brewka, Gerd ; Schlipf, John Conditional Planning with External FunctionsKonferenzbeitrag Inproceedings 2007
12Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
13Charwat, Günther ; Woltran, Stefan ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
14Brewka, Gerhard ; Eiter, Thomas ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten From Data Integration towards Knowledge MediationKonferenzbeitrag Inproceedings 2009
15Antić, Christian ; Eiter, Thomas ; Fink, Michael ; Cabalar, Pedro ; Son, Tran Cao Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
16Fichte, Johannes Klaus ; Gaggl, Sarah Alice ; Hecher, Markus ; Rusovac, Dominik IASCAR: Incremental Answer Set Counting by Anytime RefinementInproceedings Konferenzbeitrag Sep-2022
17Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans ; Balduccini, Marcello ; Janhunen, Tomi $$\mathsf {Harvey}$$ : A System for Random Testing in ASPKonferenzbeitrag Inproceedings 2017
18Dewoprabowo, Ridhwan ; Fichte, Johannes Klaus ; Gorczyca, Piotr Jerzy ; Hecher, Markus A Practical Account into Counting Dung's Extensions by Dynamic ProgrammingInproceedings Konferenzbeitrag 2022
19PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
20Feier, Cristina ; Eiter, Thomas ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015