Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, Volum 4Jürgen Dix, Ulrich Furbach, Anil Nerode Springer Science & Business Media, 2 de jul. 1997 - 452 pàgines Development and environment problems have reached such alarming proportions that the very survival of humanity is now subject to critical and unprecedented threats. In its latest report, the German Advisory Council on Global Change (WBGU) criticizes Germany's global change research community for its lack of international orientation, its bias towards individual disciplines and for its weaknesses in translating scientific results into a form readily accessible to policymakers. The Council identifies alternatives for restructuring the research landscape, focusing primarily on a new 'Syndrome Approach' for global change research. By applying this tool, scientists can systematically describe and analyze the 'diseases' afflicting the Earth System, and thus elaborate response options. |
Continguts
Forward and Backward Chaining in Constraint Programming INVITED TALK | ix |
Strong and Weak Constraints in Disjunctive Datalog | x |
Nonmonotonic Reasoning with Quantified Boolean Constraints | 16 |
The Transformation Approach | 38 |
Is NonMonotonic Reasoning Always Harder? | 58 |
The Propositional Case | 74 |
Affordable Classes of Normal Logic Programs | 90 |
Automated Reasoning with Nonmonotonic Logics INVITED TALK | 110 |
On Conservative Enforced Updates | 242 |
A General Framework for Revising Nonmonotonic Theories | 256 |
Composing General Logic Programs | 271 |
Modular Logic Programming and Generalized Quantifiers | 287 |
Programs with Universally Quantified Embedded Implications | 307 |
Procedural and Nonmonotonic Aspects | 322 |
Towards a Disjunctive Logic Programming System | 339 |
Logic Programming and Diagnosis | 351 |
Simulations Between Programs as Cellular Automata | 113 |
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning | 130 |
Power Defaults preliminary report | 150 |
A Study of Przymusinskis Static Semantics | 168 |
Resolution for Skeptical Stable Semantics | 183 |
Computing Nonground Representations of Stable Models | 196 |
Industry Needs for Integrated Information Services INVITED TALK | 216 |
A Report on the Theorema Project INVITED TALK | 218 |
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming INVITED TALK | 220 |
A Paraconsistent Semantics with Contradiction Support Detection | 222 |
A Deductive System for NonMonotonic Reasoning | 361 |
The Deductive Database System LOLA | 373 |
Flexible Solutions to Complex Problems | 385 |
Nonmonotonic Reasoning in FLORID | 397 |
Opening the World to Theorem Provers | 408 |
Smodels an Implementation of the Stable Model and WellFounded Semantics for Normal Logic Programs | 418 |
428 | |
The XRay System Its Implementation and Evaluation | 439 |
451 | |
Altres edicions - Mostra-ho tot
Logic Programming and Nonmonotonic Reasoning Ulrich Furbach,Anil Nerode Previsualització no disponible - 2014 |
Frases i termes més freqüents
ACLP algorithm alternating fixpoint answer applied approach Artificial Intelligence autoepistemic logic autoepistemic theories biconsequence relation called circumscription clause completion component consider consistent Constraint Logic Programming construction contains Datalog DDDB Deductive Databases default logic default theory defined Definition denote derivation disjunctive logic programs domain evaluation Example extended logic program false finite formula framework graph ground atoms ground(P Hence Herbrand interpretation implementation implies integrity constraints language Lemma literals logic pro Marek minimal model modal logics module negation negative node nonmonotonic reasoning normal logic programs operator P₁ paraconsistent polynomial polynomial hierarchy positive problem Proc procedure Prolog proof propositional Przymusinski quantifiers query recursion resp revision rule satisfies Scott domain Section stable model semantics static stationary extensions strategy stratified subgoal subset syntactic Theorem three-valued transformation true Truszczyński uni-rule program update variables well-founded model well-founded semantics