Published in: LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Yakoub Salhi and Michael Sioutis. A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 16:1-16:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{salhi_et_al:LIPIcs.TIME.2023.16, author = {Salhi, Yakoub and Sioutis, Michael}, title = {{A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning}}, booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)}, pages = {16:1--16:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-298-3}, ISSN = {1868-8969}, year = {2023}, volume = {278}, editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.16}, URN = {urn:nbn:de:0030-drops-191062}, doi = {10.4230/LIPIcs.TIME.2023.16}, annote = {Keywords: Spatial and Temporal Reasoning, Qualitative Constraints, Inconsistency Handling, Decomposition, Inconsistency Measures} }
Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)
Steven Shapiro and Gerhard Brewka. Dynamic Interactions Between Goals and Beliefs. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{shapiro_et_al:DagSemProc.07351.10, author = {Shapiro, Steven and Brewka, Gerhard}, title = {{Dynamic Interactions Between Goals and Beliefs}}, booktitle = {Formal Models of Belief Change in Rational Agents}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7351}, editor = {Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.10}, URN = {urn:nbn:de:0030-drops-11995}, doi = {10.4230/DagSemProc.07351.10}, annote = {Keywords: Goal Change, Belief Change, Situation Calculus} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, and Joost Vennekens. 05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{brewka_et_al:DagSemProc.05171.1, author = {Brewka, Gerhard and Niemel\"{a}, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw and Vennekens, Joost}, title = {{05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--23}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.1}, URN = {urn:nbn:de:0030-drops-2690}, doi = {10.4230/DagSemProc.05171.1}, annote = {Keywords: Knowledge representation, nonmonotonic reasoning, logic programming, answer-set programming, constraints} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, and Miroslaw Truszczynski. 05171 Executive Summary – Nonmonotonic Reasoning, Answer Set Programming and Constraints. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{brewka_et_al:DagSemProc.05171.2, author = {Brewka, Gerhard and Niemel\"{a}, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw}, title = {{05171 Executive Summary – Nonmonotonic Reasoning, Answer Set Programming and Constraints}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.2}, URN = {urn:nbn:de:0030-drops-2607}, doi = {10.4230/DagSemProc.05171.2}, annote = {Keywords: Knowledge representation, nonmonotonic reasoning, logic programming, answer-set programming, constraints} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Rafal Grabos. Answer Set Programming and Combinatorial Voting. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{grabos:DagSemProc.05171.3, author = {Grabos, Rafal}, title = {{Answer Set Programming and Combinatorial Voting}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.3}, URN = {urn:nbn:de:0030-drops-2624}, doi = {10.4230/DagSemProc.05171.3}, annote = {Keywords: Decision making, answer set programming, preferences} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Gabriele Kern-Isberner, Christoph Beierle, and Oliver Dusso. Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kernisberner_et_al:DagSemProc.05171.4, author = {Kern-Isberner, Gabriele and Beierle, Christoph and Dusso, Oliver}, title = {{Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.4}, URN = {urn:nbn:de:0030-drops-2610}, doi = {10.4230/DagSemProc.05171.4}, annote = {Keywords: Answer sets, default rules, health insurance, rule schemas} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Victor W. Marek and Jeffrey B. Remmel. Normal Form Theorem for Logic Programs with Cardinality Constraints. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{marek_et_al:DagSemProc.05171.5, author = {Marek, Victor W. and Remmel, Jeffrey B.}, title = {{Normal Form Theorem for Logic Programs with Cardinality Constraints}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--34}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.5}, URN = {urn:nbn:de:0030-drops-2598}, doi = {10.4230/DagSemProc.05171.5}, annote = {Keywords: Proof scheme, cardinality constraints} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Pascal Nicolas, Laurent Garcia, and Igor Stéphan. Possibilistic Stable Models. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{nicolas_et_al:DagSemProc.05171.6, author = {Nicolas, Pascal and Garcia, Laurent and St\'{e}phan, Igor}, title = {{Possibilistic Stable Models}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.6}, URN = {urn:nbn:de:0030-drops-2641}, doi = {10.4230/DagSemProc.05171.6}, annote = {Keywords: Non monotonic reasoning, uncertainty, possibility theory} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Axel Polleres. Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{polleres:DagSemProc.05171.7, author = {Polleres, Axel}, title = {{Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.7}, URN = {urn:nbn:de:0030-drops-2631}, doi = {10.4230/DagSemProc.05171.7}, annote = {Keywords: Semantic Web, Semantic Web Services, Rule Lagnuages, RDF, RDFS, OWL, WSMO, WSML, OWL-S, SWSL, SWSF} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Jeffrey B. Remmel and Victor W. Marek. Set Based Logic Programming. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{remmel_et_al:DagSemProc.05171.8, author = {Remmel, Jeffrey B. and Marek, Victor W.}, title = {{Set Based Logic Programming}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--26}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.8}, URN = {urn:nbn:de:0030-drops-2667}, doi = {10.4230/DagSemProc.05171.8}, annote = {Keywords: ASP, codes for infinite sets, stable model generalizations} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, and Miroslaw Truszczynski. Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381). Dagstuhl Seminar Report 354, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{brewka_et_al:DagSemRep.354, author = {Brewka, Gerhard and Niemel\"{a}, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw}, title = {{Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381)}}, pages = {1--18}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {354}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.354}, URN = {urn:nbn:de:0030-drops-152348}, doi = {10.4230/DagSemRep.354}, }
Feedback for Dagstuhl Publishing