Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings > Simple Random Logic Programs
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings |
Esra Erdem; Fangzhen Lin; Torsten Schaub
Springer Berlin Heidelberg
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Simple Random Logic Programs
Authors

Gayathri Namasivayam; Mirosław Truszczyński

ARI Id

1664746792037_3047058

Access

Not Available Free

Pages

223-235

DOI

10.1007/978-3-642-04238-6_20

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-04238-6_20

Table of Contents of Book
Showing 1 to 20 of 77 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
SAT, SMT and Applications
Armin Biere
1-1
Logic-Based Modeling in Systems Biology
Alexander Bockmayr
2-2
Integrating Answer Set Programming and Satisfiability Modulo Theories
Ilkka Niemelä
3-3
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
Marcello Balduccini
4-16
Splitting a CR-Prolog Program
Marcello Balduccini
17-29
Contextual Argumentation in Ambient Intelligence
Antonis Bikakis; Grigoris Antoniou
30-43
Argumentation Context Systems: A Framework for Abstract Group Argumentation
Gerhard Brewka; Thomas Eiter
44-57
A Revised Concept of Safety for General Answer Set Programs
Pedro Cabalar; David Pearce; Agustín Valverde
58-70
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone
71-86
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
Minh Dao-Tran; Thomas Eiter; Michael Fink; Thomas Krennwallner
87-100
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
Jos de Bruijn; Stijn Heymans
101-114
Manifold Answer-Set Programs for Meta-reasoning
Wolfgang Faber; Stefan Woltran
115-128
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Ping Hou; Marc Denecker
129-141
Computing Stable Models via Reductions to Difference Logic
Tomi Janhunen; Ilkka Niemelä; Mark Sevalnev
142-154
A Module-Based Framework for Multi-language Constraint Modeling
Matti Järvisalo; Emilia Oikarinen; Tomi Janhunen; Ilkka Niemelä
155-168
Induction on Failure: Learning Connected Horn Theories
Tim Kimber; Krysia Broda; Alessandra Russo
169-181
On Reductive Semantics of Aggregates in Answer Set Programming
Joohyung Lee; Yunsong Meng
182-195
A First Order Forward Chaining Approach for Answer Set Computing
Claire Lefèvre; Pascal Nicolas
196-208
Knowledge Qualification through Argumentation
Loizos Michael; Antonis Kakas
209-222
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 77 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings