1  20
Next
Number of results to display per page
1. Nonmonotonic reasoning [1997]
 Antoniou, G. (Grigoris)
 Cambridge, Mass. : MIT Press, c1997.
 Description
 Book — xii, 285 p. : ill. ; 24 cm.
 Summary

 Part 1 Prelude: introduction  what this book is about, style, aims and intended audience, book overview, how to use this book, acknowledgments
 predicate logic  the syntax of predicate logic, the semantics of predicate logic, proof theory. Part 2 Default logic: default reasoning  the notion of a default, the syntax of Default logic
 informal discussion of the semantics
 operational semantics of Default logic  the definitions of extensions, some examples, a prototype prolog implementation, an alternative characterization of extensions, some properties of Default logic
 normal Default theories  normal defaults, some theoretical properties, a proof theory for normal default theories, limitations of normal default theories
 seminormal Default theories  ordered, seminormal default theories, proof of the existence of extensions
 translation into seminormal from
 alterative approaches  properties of Default logic  properties of Default logic, justified Default logic, constrained Default logic, interconnections and examples, computability and complexity considerations
 priority among defaults  PDL  prioritized Default logic, PRDL  reasoning about priorities, an example from legal reasoning, an alternative characterization of extensions, properties of PDRL. Part 3 Classical approaches to nonmonotonic reasoning: autoepistemic logic  the language of autoepistemic logic, the semantics of autoepistemic formulae, expansions of autoepistemic theories, stable sets and their properties
 computing expansions of AEtheories  motivation and description of the method, some examples, correctness proofs, a prototype implementation in prolog
 embedding Default logic into AElogic  expressing default theories as AEtheories, minimal expansions, moderately grounded expansions, strongly grounded expansions, proofs
 circumscription  predicate circumscription, minimal models, consistency and expressive power, variable circumscription, prioritized circumscription. Part 4 Abstract and dynamic approaches to nonmonotonic reasoning: nonmonotonic inference relations  the notion of an inference relation, basic properties  pure conditions, basic properties  interaction with logical connective, inference relations in default logic, preferential models, further properties of inference relations
 belief revision  introduction, expansion, contraction, revision, interrelationships, epistemic entrenchment ordering, odds and ends. (Part contents).
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
Q339.2 .A58 1997  Available 
 Berzati, Dritan.
 New York : Nova Science Publishers, c2007.
 Description
 Book — xvii, 171 p. ; 27 cm.
 Summary

 Preface
 Monotonic Reasoning
 Set Theory
 Propositional Logic
 Consequences of a Theory
 Nonmonotonic Reasoning
 Foundations
 Nonmonotonic Systems
 Objections
 Argumentation Systems
 Formal Development
 Basic Properties
 Separable Argumentation Systems
 Remarks
 Reiter's Default Logic
 Syntactic Development
 Semantics of Default Logic
 Translation
 Autoepistemic Logic
 Autoepistemic Expansions
 Embedding
 Relations To Default Logic
 Inverse Transformation
 Modified Default Logic
 Modified Extensions
 Semantics for Modified Default Logic
 Characterisation of Modified Extensions
 Alternative Formalisations
 Constrained Default Logic
 Hypothetical Default Logic
 Constrained vs. Hypothetical Default Reasoning
 Supernormal Default Theories
 Minimisation and Falsification
 Circumscription
 Negation as Failure
 Argumentation Systems and Minimisation
 Bibliography
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BC177 .B47 2007  Available 
3. Nonmonotonic reasoning : an overview [1997]
 Brewka, Gerhard.
 Stanford, Calif. : CSLI Publications, c1997.
 Description
 Book — x, 179 p. : ill. ; 24 cm.
 Summary

 1. Introduction
 2. Preference logics
 3. Nonmonotonic inference relations
 4. Consistency based logics
 5. Abduction
 6. Semantics for logic programs with negation
 7. Nonmonotonicity in logic programming.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Green Library
Green Library  Status 

Find it Jonsson Social Sciences Reading Room: CSLI publications  
P51 .C18 NO.73  Unknown 
 Bochman, Alexander, 1955
 Hackensack, NJ : World Scientific, c2005.
 Description
 Book — 1 online resource (xiv, 408 p.)
 Summary

 Scott Consequence Relations
 Biconsequence Relations
 FourValued Logics
 Nonmonotonic Semantics
 Default Consequence Relations
 Argumentation Theory
 Production and Causal Inference
 Epistemic Consequence Relations
 Modal Nonmonotonic Logics.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Eichhorn, Christian, author.
 Berlin, Germany : J.B. Metzler, [2018]
 Description
 Book — xxviii, 365 pages : illustrations ; 22 cm
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
Q339.2 .E43 2019  Available 
6. Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents [2001]
 KernIsberner, Gabriele, 1956
 Berlin ; New York : Springer, c2001.
 Description
 Book — x, 190 p. ; 24 cm.
 Summary

Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly interrelated network of connections along which reasoning is possible and which can be applied to different situations. Therefore, conditionals are important, but also quite problematic objects in knowledge representation. This book presents a new approach to conditionals which captures their dynamic, nonproportional nature particularly well by considering conditionals as agents shifting possible worlds in order to establish relationships and beliefs. This understanding of conditionals yields a rich theory which makes complex interactions between conditionals transparent and operational. Moreover, it provides a unifying and enhanced framework for knowledge representation, nonmonotonic reasoning, belief revision, and even for knowledge discovery.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
Q339.2 .K47 2001  Available 
 International Conference on Logic Programming and Nonmonotonic Reasoning (16th : 2022 : Genoa, Italy)
 Cham, Switzerland : Springer, 2022.
 Description
 Book — 1 online resource (xxx, 512 pages) : illustrations (some color).
 Summary

 Technical Contributions
 Syntactic ASP Forgetting with Forks
 Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
 Enumeration of minimal models and MUSes in WASP
 Statistical Statements in Probabilistic Logic Programming
 A Comparative Study of Three NeuralSymbolic Approaches to Inductive Logic Programming
 A Definition of Sceptical Semantics in the Constellations Approach
 SHACL: A Description Logic in Disguise
 Tunas  Fishing for diverse Answer Sets: a MultiShot Trade up Strategy
 Emotional Reasoning in an Action Language for EmotionAware Planning
 Metric Temporal Answer Set Programming over Timed Traces
 Epistemic Logic Programs: a study of some properties
 Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
 A Qualitative Temporal Extension of HereandThere Logic
 Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
 Arguing Correctness of ASP Programs with Aggregates
 Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination
 IASCAR: Incremental Answer Set Counting by Anytime Refinement
 Reasoning about actions with EL ontologies and temporal answer sets for DLTL
 Inference to the Stable Explanations
 Semantics for Conditional Literals via the SM Operator
 State Transition in Multiagent Epistemic Domains using Answer Set Programming
 Towards Provenance in Heterogeneous Knowledge Bases
 Computing Smallest MUSes of Quantified Boolean Formulas
 Pinpointing Axioms in Ontologies via ASP
 Interlinking Logic Programs and Argumentation Frameworks
 GradientBased Supported Model Computation in Vector Spaces
 Towards CausalityBased Conflict Resolution in Answer Set Programs
 xASP: An Explanation Generation System for Answer Set Programming
 Systems
 Solving Problems in the Polynomial Hierarchy with ASP(Q)
 A Practical Account into Counting Dung’s Extensions by Dynamic Programming
 clingraph: ASPbased Visualization
 A Machine Learning System to Improve the Performance of ASP
 QMaxSATpb: A Certified MaxSAT Solver
 Applications
 KnowledgeBased Support for Adhesive Selection
 ASP for Flexible Payroll Management
 Analysis of Cyclic Fault Propagation via ASP
 Learning to Rank the Distinctiveness of Behaviour in Serial Offending
 Optimising Business Process Discovery using Answer Set Programming
 DeduDeep: an Extensible Framework for Combining Deep Learning and ASPbased Models.
 International Conference on Logic Programming and Nonmonotonic Reasoning (15th : 2019 : Philadelphia, PA)
 Cham : Springer International Publishing, 2019.
 Description
 Book — 1 online resource (xxi, 348 pages) Digital: data file.
 Summary

 Applications. Train scheduling with hybrid ASP. Telco Network Inventory Validation with NoHR. An ASPbased Framework for the Manipulation of Articulated Objects using Dualarm Robots. CASP: Continuous ASPbased Reasoning over RDF Streams. Internet Routing and NonMonotonic Reasoning. Argumentation. Assessing arguments with schemes and fallacies. Simple Contrapositive AssumptionBased Frameworks. Argumentationbased Explanations for Answer Sets using ADF. Foundations and Complexity. Treewidth and Counting Projected Answer Sets. Splitting Epistemic Logic Programs. Founded World Views with Autoepistemic Equilibrium Logic. Towards Dynamic Answer Set Programming over finite traces. A SequentType Calculus for ThreeValued Default Logic, or: Tweety Meets Quartum Non Datur. Knowledge Representation and Reasoning. Diagnosing Data Pipeline Failures Using Action Languages. RepairBased Degrees of Database Inconsistency. Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies. Elaboration Tolerant Representation of Markov Decision Process via DecisionTheoretic Extension of Action Language pBC+. Systems. Evaluation of disjunctive programs in WASP. telinge = ASP + Time. Verifying Strong Equivalence of Programs in the Input Language of GRINGO. The return of XORRO. Degrees of Laziness in Grounding: Effects of LazyGrounding Strategies on ASP Solving. Enhancing DLV for LargeScale Reasoning. Pruning External Minimality Checking for ASP Using Semantic Dependencies. Declarative local search for predicate logic.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 LPNMR 2007 (2007 : Tempe, Ariz.)
 Berlin : Springer, 2007.
 Description
 Book — ix, 326 p. : ill.
 Summary

 Invited Talks/Competition. Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. PolicyBased Computing: From Systems and Applications to Theory. The First Answer Set Programming System Competition. Technical Papers. crmodels: An Inference Engine for CRProlog. Debugging ASP Programs by Means of ASP. A Purely ModelTheoretic Semantics for Disjunctive Logic Programs with Negation. Complexity of Default Logic on Generalized Conjunctive Queries. A PreferenceBased Framework for Updating Logic Programs. WellFounded Semantics and the Algebraic Theory of Nonmonotone Inductive Definitions. On the Complexity of Answer Set Programming with Aggregates. Experimenting with LookBack Heuristics for Hard ASP Programs. Complexity of Rule Redundancy in Nonground AnswerSet Programming over Finite Domains. ConflictDriven Answer Set Enumeration. HeadElementarySetFree Logic Programs. A Deductive System for PC(ID). Modularity Aspects of Disjunctive Stable Models. A Characterization of Strong Equivalence for Logic Programs with Variables. A Unified Semantics for Constraint Handling Rules in Transaction Logic. Conditional Planning with External Functions. Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. General Default Logic. System Descriptions. The
 System: Logic Programming Meets Outlier Detection. clasp: A ConflictDriven Answer Set Solver. GrinGo: A New Grounder for Answer Set Programming. Using Answer Sets to Solve Belief Change Problems. An Smodels System with Limited Lookahead Computation. Programming Applications in CIFF. CPP: A Constraint Logic Programming Based Planner with Preferences. Posters. An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. On the Effectiveness of Looking Ahead in Search for Answer Sets. Enhancing ASP Systems for Planning with Temporal Constraints. Semantics for Possibilistic Disjunctive Programs. Modularity in smodels Programs.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems.
(source: Nielsen Book Data)
 LPNMR 2005 (2005 : Diamante, Italy)
 Berlin ; New York : Springer, 2005.
 Description
 Book — xiii, 454 p. : ill. ; 24 cm.
 Summary

This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005. The 25 revised full papers, 16 revised for the system and application tracks presented together with 3 invited papers were carefully reviewed and selected for presentation. Among the topics addressed are semantics of new and existing languages; relationships between formalisms; complexity and expressive power; LPNMR systems: development of inference algorithms and search heuristics, updates and other operations, uncertainty, and applications in planning, diagnosis, system descriptions, comparisons and evaluations; software engineering, decision making, and other domains; LPNMR languages: extensions by new logical connectives and new inference capabilities, applications in data integration and exchange systems, and methodology of representing knowledge.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA76.63 .L74 2005  Available 
 LPNMR 2005 (2005 : Diamante, Italy)
 Berlin ; New York : Springer, 2005.
 Description
 Book — xiii, 454 p. : ill.
 LPNMR 2004 (2004 : Fort Lauderdale, Florida)
 Berlin, [Germany] ; Heidelberg, [Germany] : Springer, 2004.
 Description
 Book — 1 online resource (374 pages) : illustrations.
 Summary

 Invited Papers. Constraints and Probabilistic Networks: A Look At The Interface. Toward A Universal Inference Engine. Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. Regular Papers. Semantics for Dynamic Logic Programming: A PrincipleBased Approach. Probabilistic Reasoning With Answer Sets. Answer Sets: From Constraint Programming Towards Qualitative Optimization. A Logic of Nonmonotone Inductive Definitions and Its Modularity Properties. Reasoning About Actions and Change in Answer Set Programming. Almost Definite Causal Theories. Simplifying Logic Programs Under Uniform and Strong Equivalence. Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Graphs and Colorings for Answer Set Programming: Abridged Report. Nondefinite vs. Definite Causal Theories. Logic Programs With Monotone Cardinality Atoms. Set Constraints in Logic Programming. Verifying the Equivalence of Logic Programs in the Disjunctive Case. Uniform Equivalence for Equilibrium Logic and Logic Programs. Partial Stable Models for Logic Programs with Aggregates. Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. Using Criticalities as a Heuristic for Answer Set Programming. Planning with Preferences Using Logic Programming. Planning with Sensing Actions and Incomplete Information Using Logic Programming. Deduction in Ontologies via ASP. Strong Equivalence for Causal Theories. Answer Set Programming with Clause Learning. Properties of Iterated Multiple Belief Revision. System Descriptions. System Description: DLV with Aggregates. GNT  A Solver for Disjunctive Logic Programs. LPEQ and DLPEQ  Translators for Automated Equivalence Testing of Logic Programs. DLV DB : Bridging the Gap between ASP Systems and DBMSs. Cmodels
 2: SATbased Answer Set Solver Enhanced to Nontight Programs. WSAT(CC)  A Fast LocalSearch ASP Solver. Smodels with CLPA Treatment of Aggregates in ASP. nlp: A Compiler for Nested Logic Programming.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
The papers in this collection were presented at the 7th International Con rence on Logic Programming and Nonmonotonic Reasoning (LPNMR7) in Fort Lauderdale, Florida, USA, during January 68, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, USA (1995), Dagstuhl, Germany (1997), El Paso, USA (1999), and Vienna, Austria (2001). LPNMR conferences are a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. In the 1980sresearchersworkingintheareaofnonmonotonicreasoningdiscovere dthat their formalisms could be used to describe the behavior of negation as failure in Prolog, andthe?rstLPNMRmeetingwasconvenedforthepurposeofdiscussing thisrelationship.Thisworkhasledtothecreationoflogicprogrammingsy stems of a new kind, answer set solvers, and to the emergence of a new approach to solving combinatorial search problems, called answer set programming. The highlights of LPNMR7 were three invited talks, given by Rina Dechter (University of California, Irvine), Henry Kautz (University of Washington) and Torsten Schaub (University of Potsdam). The program also included 24 regular papers selected after a rigorous review process, 8 system descriptions, and 2 panels. We would like to thank the Program Committee members and additional reviewers for careful, unbiased evaluation of the submitted papers. We are also grateful to Paolo Ferraris for help with publicizing the Call for Papers, to Fred Ho?man for help with local organizational matters, and to Matti J.. arvisalo for help with the organization of the electronic Program Committee meeting.
(source: Nielsen Book Data)
 LPNMR 2004 (7th : 2004 : Fort Lauderdale, Fla.)
 Berlin ; New York : Springer, c2004.
 Description
 Book — ix, 364 p. : ill. ; 24cm.
 Summary

 Invited Papers. Constraints and Probabilistic Networks: A Look At The Interface. Toward A Universal Inference Engine. Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. Regular Papers. Semantics for Dynamic Logic Programming: A PrincipleBased Approach. Probabilistic Reasoning With Answer Sets. Answer Sets: From Constraint Programming Towards Qualitative Optimization. A Logic of Nonmonotone Inductive Definitions and Its Modularity Properties. Reasoning About Actions and Change in Answer Set Programming. Almost Definite Causal Theories. Simplifying Logic Programs Under Uniform and Strong Equivalence. Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Graphs and Colorings for Answer Set Programming: Abridged Report. Nondefinite vs. Definite Causal Theories. Logic Programs With Monotone Cardinality Atoms. Set Constraints in Logic Programming. Verifying the Equivalence of Logic Programs in the Disjunctive Case. Uniform Equivalence for Equilibrium Logic and Logic Programs. Partial Stable Models for Logic Programs with Aggregates. Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. Using Criticalities as a Heuristic for Answer Set Programming. Planning with Preferences Using Logic Programming. Planning with Sensing Actions and Incomplete Information Using Logic Programming. Deduction in Ontologies via ASP. Strong Equivalence for Causal Theories. Answer Set Programming with Clause Learning. Properties of Iterated Multiple Belief Revision. System Descriptions. System Description: DLV with Aggregates. GNT  A Solver for Disjunctive Logic Programs. LPEQ and DLPEQ  Translators for Automated Equivalence Testing of Logic Programs. DLV DB : Bridging the Gap between ASP Systems and DBMSs. Cmodels
 2: SATbased Answer Set Solver Enhanced to Nontight Programs. WSAT(CC)  A Fast LocalSearch ASP Solver. Smodels with CLPA Treatment of Aggregates in ASP. nlp: A Compiler for Nested Logic Programming.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA76.63 .L74 2004  Available 
 LPNMR 2001 (2001 : Vienna, Austria)
 Berlin ; New York : Springer, c2001.
 Description
 Book — xi, 444 p. : ill. ; 24 cm.
 Summary

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, manyvalued logics, etc.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA76.63 .L74 2001  Available 
 LPNMR '99 (1999 : El Paso, Tex.)
 Berlin ; New York : Springer, c1999.
 Description
 Book — xi, 388 p. : ill. ; 24 cm.
 Summary

This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December 1999.The volume presents 26 contributed papers and four invited talks, three appearing as extended abstracts and one as a full paper. Topics covered include logic programming, nonmonotonic reasoning, knowledge representation, semantics, complexity, expressive power, and implementation and applicatons.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA76.63 .L74 1999  Available 
 LPNMR '97 (1997 : Dagstuhl, Wadern, Germany).
 New York : Springer, 1997.
 Description
 Book — x, 452 p. : ill. ; 24 cm.
 Summary

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report stateoftheart research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA76.63 .L74 1997  Available 
 NMELP '96 (2nd : 1996 : Bad Honnef, Germany)
 Berlin ; New York : Springer, c1997.
 Description
 Book — p. cm.
 Summary

This book constitutes the thoroughly refereed postworkshop proceedings of the 6th International Workshop on NonMonotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996.The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of nonmonotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for NonMonotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA76.63 .N65 1996  Available 
 LPNMR (Conference) (12th : 2013 : La Coruña, Spain)
 Heidelberg : Springer, 2013.
 Description
 Book — 1 online resource (xviii, 570 pages) : illustrations Digital: text file.PDF.
 Summary

 Towards Reactive MultiContext Systems / Gerhard Brewka
 Logic Programming in the 1970s / Robert Kowalski
 Integrating Temporal Extensions of Answer Set Programming / Felicidad Aguado, Gilberto Pérez
 Forgetting under the WellFounded Semantics / José Júlio Alferes, Matthias Knorr
 The Fourth Answer Set Programming Competition: Preliminary Report / Mario Alviano, Francesco Calimeri
 WASP: A Native ASP Solver Based on Constraint Learning / Mario Alviano, Carmine Dodaro
 The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics / Mario Alviano, Wolfgang Faber
 ARVis: Visualizing Relations between Answer Sets / Thomas Ambroz, Günther Charwat
 Symbolic System Synthesis Using Answer Set Programming / Benjamin Andres, Martin Gebser
 Accurate Computation of Sensitizable Paths Using Answer Set Programming / Benjamin Andres, Matthias Sauer.
 Hex Semantics via Approximation Fixpoint Theory / Christian Antić, Thomas Eiter, Michael Fink
 Encoding Higher Level Extensions of Petri Nets in Answer Set Programming / Saadat Anwar, Chitta Baral, Katsumi Inoue
 Cplus 2ASP: Computing Action Language C + in Answer Set Programming / Joseph Babb, Joohyung Lee
 Towards Answer Set Programming with Sorts / Evgenii Balai, Michael Gelfond
 Prolog and ASP Inference under One Roof / Marcello Balduccini, Yuliya Lierler
 EventObject Reasoning with Curated Knowledge Bases: Deriving Missing Information / Chitta Baral, Nguyen H. Vo
 Towards Query Answering in Relational MultiContext Systems / Rosamaria Barilaro, Michael Fink
 Spectra in Abstract Argumentation: An Analysis of Minimal Change / Ringo Baumann, Gerhard Brewka
 Normalizing Cardinality Rules Using Merging and Sorting Constructions / Jori Bomanson, Tomi Janhunen.
 Experience Based Nonmonotonic Reasoning / Daniel Borchmann
 An ASP Application in Integrative Biology: Identification of Functional Gene Units / Philippe Bordron, Damien Eveillard
 Evaluating Answer Set Clause Learning for General Game Playing / Timothy Cerexhe, Orkunt Sabuncu
 VCWC: A Versioning Competition Workflow Compiler / Günther Charwat, Giovambattista Ianni
 A Sequential Model for Reasoning about Bargaining in Logic Programs / Wu Chen, Dongmo Zhang, Maonian Wu
 Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming / Guillaume Collet, Damien Eveillard
 Negation as a Resource: A Novel View on Answer Set Semantics / Stefania Costantini, Andrea Formisano
 AGMStyle Belief Revision of Logic Programs under Answer Set Semantics / James Delgrande, Pavlos Peppas
 Efficient Approximation of WellFounded Justification and WellFounded Domination / Christian Drescher, Toby Walsh.
 Approximate Epistemic Planning with Postdiction as AnswerSet Programming / Manfred Eppe, Mehul Bhatt, Frank Dylla
 Combining Equilibrium Logic and Dynamic Logic / Luis Fariñas del Cerro, Andreas Herzig
 ActHEX: Implementing HEX Programs with Action Atoms / Michael Fink, Stefano Germano
 Debugging AnswerSet Programs with Ouroboros  Extending the SeaLion Plugin / Melanie Frühstück, Jörg Pührer
 Game Semantics for Nonmonotonic Intensional Logic Programming / Chrysida Galanaki, Christos Nomikos
 Matchmaking with Answer Set Programming / Martin Gebser, Thomas Glase, Orkunt Sabuncu
 Ricochet Robots: A Transverse ASP Benchmark / Martin Gebser, Holger Jost, Roland Kaminski
 Decidability and Implementation of Parametrized Logic Programs / Ricardo Gonçalves, José Júlio Alferes
 Nonmonotonic Temporal Goals / Ricardo Gonçalves, Matthias Knorr.
 On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics / Amelia Harrison, Vladimir Lifschitz
 An Application of ASP to the Field of Second Language Acquisition / Daniela Inclezan
 Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming / Jianmin Ji, Fangzhen Lin
 Concrete Results on Abstract Rules / Markus Krötzsch, Despoina Magka
 Linear Logic Programming for Narrative Generation / Chris Martens, AnneGwenn Bosser
 Implementing Informal Semantics of ASP / Artur Mikitiuk, Miroslaw Truszczynski
 Implementing Belief Change in the Situation Calculus and an Application / Maurice Pagnucco, David Rajaratnam
 Debugging Nonground ASP Programs with Choice Rules, Cardinality and Weight Constraints / Axel Polleres, Melanie Frühstück
 ConflictBased Program Rewriting for Solving Configuration Problems / Anna Ryabokon, Gerhard Friedrich.
 Program Updating by Incremental and Answer Subsumption Tabling / Ari Saptawijaya, Luís Moniz Pereira
 Characterization Theorems for Revision of Logic Programs / Nicolas Schwind, Katsumi Inoue
 Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming / Peter Schüller
 Early Recovery in Logic Program Updates / Martin Slota, Martin Baláž, João Leite
 Preference Handling for BeliefBased Rational Decisions / Samy Sá, João Alcântara
 LogicBased Techniques for Data Cleaning: An Application to the Italian National Healthcare System / Giorgio Terracina, Alessandra Martello
 Justifications for Logic Programming / Carlos Viegas Damásio, Anastasia Analyti
 Belief Change in Nonmonotonic MultiContext Systems / Yisong Wang, Zhiqiang Zhuang, Kewen Wang
 On Optimal Solutions of Answer Set Optimization Problems / Ying Zhu, Miroslaw Truszczynski.
(source: Nielsen Book Data)
 Berlin ; Heidelberg ; New York : Springer, ©2011.
 Description
 Book — 1 online resource (xiii, 512 pages) : illustrations (some color) Digital: text file.PDF.
 Summary

 Opening: Homage to Michael Gelfond on His 65th Birthday
 Foundations: ASP and Theories of LP, KR, and NMR: Answer Set Programming's Contributions to Classical Logic: An Analysis of ASP Methodology
 Closure and Consistency Rationalities in LogicBased Argumentation
 Manifold AnswerSet Programs and Their Applications
 On the Minimality of Stable Models
 Challenges in Answer Set Solving
 Exploring Relations between Answer Set Programs
 Compact Translations of Nondisjunctive Answer Set Programs to Propositional Clauses
 Effectively Reasoning about Infinite Sets in Answer Set Programming
 Inspecting SideEffects of Abduction in Logic Programs
 Argumentation and Answer Set Programming
 Interlude: Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond
 Interlude: Recollections on Michael Gelfond's 65th Birthday
 ASP and Dynamic Domains: Evolving Logic Programs with Temporal Operators
 On Representing Actions in Multiagent Domains
 Nonmonotonic MultiContext Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
 Perspectives on LogicBased Approaches for Reasoning about Actions and Change
 Refinement of HistoryBased Policies
 Translating General Game Descriptions into an Action Language
 Revisiting Epistemic Specifications
 Interlude: Answer Set; Programming?
 Interlude: Michael Gelfond: Essay in Honour of His 65th Birthday
 ASP
 Applications and Tools: PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information
 ASP as a Cognitive Modeling Tool: ShortTerm Memory and LongTerm Memor
 A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design
 Applications of Answer Set Programming in Phylogenetic Systematics
 ASP at Work: Spinoff and Applications of the DLV System
 Combining Answer Set Programming and Prolog: The ASPPROLOG System
 On the Practical Side of Answer Set Programming
 ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents
 Ending: Tea Times with Gelfond.
 Description
 Book
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
117078  Available 
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.