Torsten Schaub

Martín Diéguez

François Laferrière

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Routing and Scheduling in different ways: Abridged Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report.

[BibT_eX]

[DOI]

Nicolas Rühling

Tobias Stolzmann

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

Interactive Configuration with ASP Multi-Shot Solving.

[BibT_eX]

[DOI]

Richard Comploi-Taupe

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

Answer Set Programming Made Easy.

[BibT_eX]

[DOI]

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

plingo: A system for probabilistic reasoning in clingo based on lpmln.

[BibT_eX]

[DOI]

CoRR, 2022

Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

On the Generalization of Learned Constraints for ASP Solving in Temporal Domains.

[BibT_eX]

[DOI]

Klaus Strauch

Proceedings of the Rules and Reasoning, 2022

Clingraph: ASP-Based Visualization.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Metric Temporal Answer Set Programming over Timed Traces.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Conflict Handling in Product Configuration using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Planning with Incomplete Information in Quantified Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Train Scheduling with Hybrid Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Towards a Semantics for Hybrid ASP systems.

[BibT_eX]

[DOI]

CoRR, 2021

Automata for Dynamic Answer Set Solving: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

Verifying Tight Logic Programs with anthem and vampire.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

ASP-Core-2 Input Language Format.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

eclingo : A Solver for Epistemic Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Towards Metric Temporal Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Temporal Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2020

Implementing Dynamic Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2020

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

An ASP Semantics for Constraints Involving Conditional Aggregates.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Implementing Dynamic Answer Set Programming over Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Towards Verifying Logic Programs in the Input Language of clingo.

[BibT_eX]

[DOI]

Patrick Lühne

Proceedings of the Fields of Logic and Computation III, 2020

2019

Multi-shot ASP solving with clingo.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Hybrid metabolic network completion.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

plasp 3: Towards Effective ASP Planning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report.

[BibT_eX]

[DOI]

Open J. Databases, 2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2019

Gelfond-Zhang aggregates as propositional formulas.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Verifying Strong Equivalence of Programs in the Input Language of gringo.

[BibT_eX]

[DOI]

Patrick Lühne

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

The Return of xorro.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

telingo = ASP + Time.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Towards Dynamic Answer Set Programming over Finite Traces.

[BibT_eX]

[DOI]

Martín Diéguez

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Train Scheduling with Hybrid ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Lower Bound Founded Logic of Here-and-There.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

On the Integration of CP-nets in ASPRIN.

[BibT_eX]

[DOI]

Mario Alviano

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Dynamic and Temporal Answer Set Programming on Linear Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Datalog 2.0 2019, 2019

Temporal Logic Programs with Temporal Description Logic Axioms.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming.

[BibT_eX]

[DOI]

Michel Ratsch-Heitmann

Mario Runge

Theory Pract. Log. Program., 2018

Experimenting with robotic intra-logistics domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Temporal Answer Set Programming on Finite Traces.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Answer set programming unleashed!

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Special Issue on Answer Set Programming.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Interview with Vladimir Lifschitz.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Design Space Exploration with Answer Set Programming.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

The Potsdam Answer Set Solving Collection 5.0.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Interview with Gerhard Brewka.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Advanced Solving Technology for Dynamic and Reactive Applications.

[BibT_eX]

[DOI]

Stefan Ellmauthaler

Gabriele Kern-Isberner

Künstliche Intell., 2018

High-level synthesis of on-chip multiprocessor architectures based on answer set programming.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report).

[BibT_eX]

[DOI]

Patrick Lühne

CoRR, 2018

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.

[BibT_eX]

[DOI]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

Introducing Temporal Stable Models for Linear Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Preference Relations by Approximation.

[BibT_eX]

[DOI]

Mario Alviano

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Exact multi-objective design space exploration using ASPmT.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

On leveraging approximations for exact system-level design space exploration: work-in-progress.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2018

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

ASP-Based Time-Bounded Planning for Logistics Robots.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Clingo goes linear constraints over reals and integers.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Clingcon: The next generation.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Automatic construction of parallel portfolios via algorithm configuration.

[BibT_eX]

[DOI]

Artif. Intell., 2017

A Tutorial on Hybrid Answer Set Solving with clingo.

[BibT_eX]

[DOI]

Philipp Wanko

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Generalized Answer Set Planning with Incomplete Information.

[BibT_eX]

[DOI]

Tran Cao Son

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Generalized Target Assignment and Path Finding Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Answer Set Programming Modulo Acyclicity.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Shift Design with Answer Set Programming.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective.

[BibT_eX]

[DOI]

Christian Schulz-Hanke

CoRR, 2016

Grounding Recursive Aggregates: Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2016

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.

[BibT_eX]

[DOI]

Biosyst., 2016

Grounding and Solving in Answer Set Programming.

[BibT_eX]

[DOI]

AI Mag., 2016

Modeling and Language Extensions.

[BibT_eX]

[DOI]

AI Mag., 2016

Writing Declarative Specifications for Clauses.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Knowledge-Based Sequence Mining with ASP.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An ASP Semantics for Default Reasoning with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

ASP for Anytime Dynamic Programming on Tree Decompositions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Theory Solving Made Easy with Clingo 5.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Answer Set Solving with Generalized Learned Constraints.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Computing Diverse Optimal Stable Models.

[BibT_eX]

[DOI]

Philipp Wanko

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Management, 2016

Fouille de motifs séquentiels avec ASP.

[BibT_eX]

[DOI]

Proceedings of the 16ème Journées Francophones Extraction et Gestion des Connaissances, 2016

A Minimization-Based Approach to Iterated Multi-Agent Belief Change.

[BibT_eX]

[DOI]

Paul Vicol

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Solving Goal Recognition Design Using ASP.

[BibT_eX]

[DOI]

Tran Cao Son

Christian Schulz-Hanke

William Yeoh

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

aspeed: Solver scheduling via answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Abstract gringo.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Learning Boolean logic models of signaling networks with ASP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

AutoFolio: An Automatically Configured Algorithm Selector.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

Interactive Answer Set Programming - Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2015

An Implementation of Consistency-Based Multi-agent Belief Change Using ASP.

[BibT_eX]

[DOI]

Paul Vicol

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Progress in clasp Series 3.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

ASP Solving for Expanding Universes.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Implementing Preferences with asprin.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Integrating ASP into ROS for Reasoning in Robots.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Boolean Network Identification from Multiplex Time Series Data.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

AutoFolio: Algorithm Configuration for Algorithm Selection.

[BibT_eX]

[DOI]

Proceedings of the Algorithm Configuration, 2015

What's Hot in the SAT and ASP Competitions.

[BibT_eX]

[DOI]

Marijn Heule

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

asprin: Customizing Answer Set Preferences without a Headache.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming.

[BibT_eX]

[DOI]

Holger H. Hoos

Marius Lindauer

Theory Pract. Log. Program., 2014

Solver Scheduling via Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2014

Clingo = ASP + Control: Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Monitoring and Visualizing Answer Set Solving.

[BibT_eX]

[DOI]

Arne König

Theory Pract. Log. Program., 2013

Minimal intervention strategies in logical signaling networks with ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Answer set programming as a modeling language for course timetabling.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Tableau Calculi for Logic Programs under Answer Set Semantics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

A Model-Theoretic Approach to Belief Change in Answer Set Programming.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

Answer Set Programming for Stream Reasoning

[BibT_eX]

[DOI]

CoRR, 2013

A System for Interactive Query Answering with Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2013

ROSoClingo: A ROS package for ASP-based robot control.

[BibT_eX]

[DOI]

CoRR, 2013

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Ricochet Robots: A Transverse ASP Benchmark.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Matchmaking with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Accurate Computation of Sensitizable Paths Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Symbolic System Synthesis Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Robust Benchmark Set Selection for Boolean Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

Advanced Conflict-Driven Disjunctive Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System.

[BibT_eX]

[DOI]

Thanassis Kavatzikidis

Silvio Bonfiglio

Proceedings of the Recent Trends in Applied Artificial Intelligence, 2013

Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

Domain-Specific Heuristics in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Answer Set Solving in Practice

[BibT_eX]

[DOI]

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01561-8, 2012

ASP modulo CSP: The clingcon system.

[BibT_eX]

[DOI]

Max Ostrowski

Theory Pract. Log. Program., 2012

Multi-threaded ASP solving with clasp.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Préface.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

Conflict-driven answer set solving: From theory to practice.

[BibT_eX]

[DOI]

Artif. Intell., 2012

Stream Reasoning with Answer Set Programming: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

aspeed: ASP-based Solver Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Unsatisfiability-based optimization in clasp.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Gearing Up for Effective ASP Planning.

[BibT_eX]

[DOI]

Roland Kaufmann

Proceedings of the Correct Reasoning, 2012

2011

Detecting inconsistencies in large biological networks with answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Complex optimization in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Automatic network reconstruction using ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Centurio, a General Game Player: Parallel, Java- and ASP-based.

[BibT_eX]

[DOI]

Künstliche Intell., 2011

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

Knowledge-based multi-criteria optimization to support indoor positioning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

An incremental answer set programming based system for finite model computation.

[BibT_eX]

[DOI]

AI Commun., 2011

Potassco: The Potsdam Answer Set Solving Collection.

[BibT_eX]

[DOI]

AI Commun., 2011

Knowledge-intensive Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

A Portfolio Solver for Answer Set Programming: Preliminary Report.

[BibT_eX]

[DOI]

Marius Thomas Schneider

Stefan Ziller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Cluster-Based ASP Solving with claspar.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

plasp: A Prototype for PDDL-Based Planning in ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Advances in gringo Series 3.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Reactive Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Finite Model Computation via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Evolution of Ontologies using ASP.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Multi-Criteria Optimization in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Challenges in Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Introduction to the 26th international conference on logic programming special issue.

[BibT_eX]

[DOI]

Manuel V. Hermenegildo

Theory Pract. Log. Program., 2010

Testing, Diagnosing, Repairing, and Predicting from Regulatory Networks and Datasets.

[BibT_eX]

[DOI]

Anne Siegel

ERCIM News, 2010

Heuristics in Conflict Resolution

[BibT_eX]

[DOI]

CoRR, 2010

Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

An Incremental Answer Set Programming Based System for Finite ModelComputation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Coala: A Compiler from Action Languages to ASP.

[BibT_eX]

[DOI]

Torsten Grote

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The BioASP Library: ASP Solutions for Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Introduction to the Technical Communications of the 26th International Conference on Logic Programming.

[BibT_eX]

[DOI]

Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Titlepage, Table of Contents, Conference Organization.

[BibT_eX]

[DOI]

Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

Monotonic Answer Set Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.

[BibT_eX]

[DOI]

Int. J. Reconfigurable Comput., 2009

A general approach to belief change in answer set programming

[BibT_eX]

[DOI]

CoRR, 2009

Experiences Running a Parallel Answer Set Solver on Blue Gene.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

The Conflict-Driven Answer Set Solver clasp: Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

On the Input Language of ASP Grounder Gringo.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

A Simple Distributed Conflict-Driven Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Metabolic Network Expansion with Answer Set Programming.

[BibT_eX]

[DOI]

Sven Thiele

Proceedings of the Logic Programming, 25th International Conference, 2009

Constraint Answer Set Solving.

[BibT_eX]

[DOI]

Max Ostrowski

Proceedings of the Logic Programming, 25th International Conference, 2009

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Merging Logic Programs under Answer Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Solution Enumeration for Projected Boolean Search Problems.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Modeling Biological Networks by Action Languages via Answer Set Programming.

[BibT_eX]

[DOI]

Steve Dworschak

Susanne Grell

Victoria J. Nikiforova

Joachim Selbig

Constraints An Int. J., 2008

Conflict-Driven Disjunctive Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Belief Revision of Logic Programs under Answer Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

The System BioC for Reasoning about Biological Models in Action Language C.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Here's the Beef: Answer Set Programming !

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Engineering an Incremental ASP Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Advanced Preprocessing for Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

A Meta-Programming Technique for Debugging Answer-Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A General Framework for Expressing Preferences in Causal Reasoning and Planning.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

A consistency-based framework for merging knowledge bases.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007

GrinGo : A New Grounder for Answer Set Programming.

[BibT_eX]

[DOI]

Sven Thiele

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

The First Answer Set Programming System Competition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

clasp : A Conflict-Driven Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Conflict-Driven Answer Set Enumeration.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

A Preference-Based Framework for Updating Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Debugging ASP Programs by Means of ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Conflict-Driven Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Belief Change Based on Global Minimisation.

[BibT_eX]

[DOI]

Jérôme Lang

Proceedings of the IJCAI 2007, 2007

Generic Tableaux for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Qualitative Constraint Enforcement in Advanced Policy Specification.

[BibT_eX]

[DOI]

Alessandra Mileo

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

COBA 2.0: A Consistency-Based Belief Change System.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006

Graphs and colorings for answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2006

Tableaux Calculi for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Modelling Biological Networks by Action Languages Via Answer Set Programming.

[BibT_eX]

[DOI]

Susanne Grell

Joachim Selbig

Proceedings of the Logic Programming, 22nd International Conference, 2006

Tableau Calculi for Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

On Probing and Multi-Threading in Platypus.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

What's a Head Without a Body?

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Expressing Default Logic Variants in Default Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

A Glimpse of Answer Set Programming.

[BibT_eX]

[DOI]

Künstliche Intell., 2005

Platypus: A Platform for Distributed Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

nomore<: A System for Computing Preferred Answer Sets.

[BibT_eX]

[DOI]

Susanne Grell

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Loops: Relevant or Redundant?

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

The nomore++ System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.

[BibT_eX]

[DOI]

Ilkka Niemelä

Joost Vennekens

Proceedings of the Nonmonotonic Reasoning, 2005

05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.

[BibT_eX]

[DOI]

Ilkka Niemelä

Proceedings of the Nonmonotonic Reasoning, 2005

Representing Paraconsistent Reasoning via Quantified Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Introduction to Inconsistency Tolerance.

[BibT_eX]

[DOI]

Leopoldo E. Bertossi

Anthony Hunter

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

The nomore++ Approach to Answer Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

On Computing Belief Change Operations using Quantified Boolean Formulas.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Reasoning with Sets of Defaults in Default Logic.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Threshold extraction in metabolite concentration data.

[BibT_eX]

[DOI]

Bioinform., 2004

Consistency-based approaches to merging knowledge bases: preliminary report.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

nlp: A Compiler for Nested Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.

[BibT_eX]

[DOI]

Paul Borchert

Christian Anger

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Domain-Specific Preferences for Causal Reasoning and Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Two Approaches to Merging Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Profiling Answer Set Programming: The Visualization Component of the noMoRe System.

[BibT_eX]

[DOI]

Andreas Bösel

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

A semantic framework for preference handling in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

A Framework for Compiling Preferences in Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Optimality Theory as a Family of Cumulative Logics.

[BibT_eX]

[DOI]

Gisbert Fanselow

J. Log. Lang. Inf., 2003

Graphs and Colorings for Answer Set Programming with Preferences.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

A consistency-based approach for belief change.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Optimality Theory through Default Logic.

[BibT_eX]

[DOI]

Robert E. Mercer

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

On the Relation between Reiter's Default Logic and Its (Major).

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Graphs and colorings for answer set programming: Abridged Report.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

Graphs and coloring for answer set programming: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

Lukaszewicz-style Answer Set Programming: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Reasoning Credulously and skeptically within a single extension.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2002

AAAI 2002 Workshops.

[BibT_eX]

[DOI]

AI Mag., 2002

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

COBA: A Consistency-Based Belief Revision System.

[BibT_eX]

[DOI]

Aaron Hunter

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

plp: A Generic Compiler for Ordered Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A Comparative Study of Logic Programs with Preference.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

What's Your Preference? And How to Express and Implement It in Logic Programming!

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

On Computing Solutions to Belief Change Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

How to Reason Credulously and Skeptically within a Single Extension.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

A Comparative Study of Logic Programs with Preference: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

What is a (non-constructive) non-monotone logical system?

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

A Compiler for Ordered Logic Programs

[BibT_eX]

[DOI]

CoRR, 2000

Alternative foundations for Reiter's default logic.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Expressing preferences in default logic.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Significant Inferences : Preliminary Report.

[BibT_eX]

Proceedings of the KR 2000, 2000

A Compilation of Brewka and Eiter's Approach to Prioritization.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Logic Programs with Compiled Preferences.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

A Connection Calculus for Handling Incomplete Information.

[BibT_eX]

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

A Consistency-Based Model for Belief Change: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Default Reasoning via Blocking Sets.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

On Bottom-Up Pre-processing Techniques for Automated Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

Avoiding Non-ground Variables.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

Query-Answering in Prioritized Default Logic.

[BibT_eX]

[DOI]

Farid Benhammadi

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

Signed Systems for Paraconsistent Reasoning.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques.

[BibT_eX]

[DOI]

Artif. Intell., 1998

Reasoning with Sets of Preferences in Default Logic.

[BibT_eX]

[DOI]

Proceedings of the PRICAI'98, 1998

An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

The XRay system: An implementation platform for local query-answering in default logics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Uncertainty Formalisms, 1998

Extension Calculus and Query Answering in Prioritized Default Logic.

[BibT_eX]

[DOI]

Farid Benhammadi

Proceedings of the Artificial Intelligence: Methodology, 1998

The Automation of Reasoning with Incomplete Information, From Semantic Foundations to Efficient Computation.

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 1409, Springer, ISBN: 3-540-64515-2, 1998

1997

Towards a classification of Default Logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1997

Compiling Specificity Into Approaches to Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1997

An Implementation Platform for Query-Answering: X-RAY.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Compiling Reasoning with and about Preferences into Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Circumscribing Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Putting Default Logics in Perspective.

[BibT_eX]

[DOI]

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

A Simple Signed System for Paraconsistent Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

A Model-Based Approach to Consistency-Checking.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Skeptical Query-Answering in Constrained Default Logic.

[BibT_eX]

[DOI]

Michael Thielscher

Proceedings of the Practical Reasoning, 1996

Prolog Technology for Default Reasoning (An Abridged Report).

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Ist die Wissensrepräsentation tot?

[BibT_eX]

Künstliche Intell., 1995

Default Reasoning by Deductive Planning.

[BibT_eX]

[DOI]

Michael Thielscher

J. Autom. Reason., 1995

A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving.

[BibT_eX]

[DOI]

J. Autom. Reason., 1995

An Approach to Context-Based Default Reasoning.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Lemma Handling in Default Logic Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

Possible Worlds Semantics for Default Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

Alternative Approaches to Default Logic.

[BibT_eX]

[DOI]

W. Ken Jackson

Artif. Intell., 1994

A General Approach to Specificity in Default Reasoning.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Incorporating Specificity into Circumscriptive Theories.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Computing Queries from Prioritized Default Theories.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Computing, 1994

1993

Variations of Constrained Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

A Context-Based Framework for Default Logics.

[BibT_eX]

[DOI]

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Minimal Belief and Negation as Failure: A Feasible Approach.

[BibT_eX]

[DOI]

Antje Beringer

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Wissensrepräsentation und Inferenz - eine grundlegende Einführung.

[BibT_eX]

Wolfgang Bibel

Steffen Hölldobler

Artificial Intelligence, Vieweg, ISBN: 978-3-528-05374-1, 1993

1992

On Constrained Default Theories.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Considerations on default logics.

[BibT_eX]

[DOI]

PhD thesis, 1992

1991

Assertional Default Theories: A Semantical View.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

On Commitment and Cumulativity in Default Logics.

[BibT_eX]

[DOI]