Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005742348/catalog> ?p ?o. }

• catalog abstract ""This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision."--PUBLISHER'S WEBSITE.".
• catalog alternative "JELIA '94, logics in AI.".
• catalog alternative "JELIA '94.".
• catalog alternative "Logics in AI.".
• catalog contributor b8078808.
• catalog contributor b8078809.
• catalog contributor b8078810.
• catalog contributor b8078811.
• catalog created "c1994.".
• catalog date "1994".
• catalog date "c1994.".
• catalog dateCopyrighted "c1994.".
• catalog description ""This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision."--PUBLISHER'S WEBSITE.".
• catalog description "From Carnap's Modal Logic to Autoepistemic Logic / G. Gottlob -- Compactness Properties of Nonmonotonic Inference Operations / H. Herre -- Around a Powerful Property of Circumscriptions / Y. Moinard and R. Rolland -- The Computational Value of Joint Consistency / Y. Dimopoulos -- Belief Dynamics, Abduction, and Databases / C. Aravindan and P.M. Dung -- On the Logic of Theory Base Change / M.-A. Williams -- Belief, Provability, and Logic Programs / J.J. Alferes and L.M. Pereira -- Revision Specifications by Means of Programs / V.W. Marek and M. Truszczynski -- Revision of Non-Monotonic Theories: Some Postulates and an Application to Logic Programming / C. Witteveen, W. van der Hoek and H. de Nivelle -- A Complete Connection Calculus with Rigid E-Unification / U. Petermann -- Equality and Constrained Resolution / R. Scherl -- Efficient Strategies for Automated Reasoning in Modal Logics / S. Demri.".
• catalog description "Includes bibliographical references.".
• catalog description "TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving / G. Aguilera, I.P. de Guzman and M. Ojeda -- A Unification of Ordering Refinements of Resolution in Classical Logic / H. de Nivelle -- Two Logical Dimensions / E. Orlowska -- Prioritized Autoepistemic Logic / J. Rintanen -- Adding Priorities and Specificity to Default Logic / G. Brewka -- Viewing Hypothesis Theories as Constrained Graded Theories / P. Chatalic -- Temporal Theories of Reasoning / J. Engelfriet and J. Treur -- Reasoning about Knowledge on Computation Trees / K. Georgatos -- Propositional State Event Logic / G. Grosse -- Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations / G. De Giacomo and M. Lenzerini -- On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples / L.E. Bertossi and R. Reiter -- Autoepistemic Logic of Minimal Beliefs / T.C. Przymusinski -- How to Use Modalities and Sorts in Prolog / A. Nonnengart.".
• catalog description "Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics / J.-M. Jacquet and L. Monteiro -- Extending Horn Clause Theories by Reflection Principles / S. Costantini, P. Dell'Acqua and G.A. Lanzarone.".
• catalog extent "ix, 413 p. :".
• catalog hasFormat "Logics in artificial intelligence.".
• catalog identifier "0387583327 (New York)".
• catalog identifier "3540583327 (Berlin)".
• catalog isFormatOf "Logics in artificial intelligence.".
• catalog isPartOf "Lecture notes in computer science ; 838. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science ; 838.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "1994".
• catalog issued "c1994.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog relation "Logics in artificial intelligence.".
• catalog subject "006.3/01/5113 20".
• catalog subject "Artificial intelligence Congresses.".
• catalog subject "Logic Congresses.".
• catalog subject "Q334 .E985 1994".
• catalog tableOfContents "From Carnap's Modal Logic to Autoepistemic Logic / G. Gottlob -- Compactness Properties of Nonmonotonic Inference Operations / H. Herre -- Around a Powerful Property of Circumscriptions / Y. Moinard and R. Rolland -- The Computational Value of Joint Consistency / Y. Dimopoulos -- Belief Dynamics, Abduction, and Databases / C. Aravindan and P.M. Dung -- On the Logic of Theory Base Change / M.-A. Williams -- Belief, Provability, and Logic Programs / J.J. Alferes and L.M. Pereira -- Revision Specifications by Means of Programs / V.W. Marek and M. Truszczynski -- Revision of Non-Monotonic Theories: Some Postulates and an Application to Logic Programming / C. Witteveen, W. van der Hoek and H. de Nivelle -- A Complete Connection Calculus with Rigid E-Unification / U. Petermann -- Equality and Constrained Resolution / R. Scherl -- Efficient Strategies for Automated Reasoning in Modal Logics / S. Demri.".
• catalog tableOfContents "TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving / G. Aguilera, I.P. de Guzman and M. Ojeda -- A Unification of Ordering Refinements of Resolution in Classical Logic / H. de Nivelle -- Two Logical Dimensions / E. Orlowska -- Prioritized Autoepistemic Logic / J. Rintanen -- Adding Priorities and Specificity to Default Logic / G. Brewka -- Viewing Hypothesis Theories as Constrained Graded Theories / P. Chatalic -- Temporal Theories of Reasoning / J. Engelfriet and J. Treur -- Reasoning about Knowledge on Computation Trees / K. Georgatos -- Propositional State Event Logic / G. Grosse -- Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations / G. De Giacomo and M. Lenzerini -- On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples / L.E. Bertossi and R. Reiter -- Autoepistemic Logic of Minimal Beliefs / T.C. Przymusinski -- How to Use Modalities and Sorts in Prolog / A. Nonnengart.".
• catalog tableOfContents "Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics / J.-M. Jacquet and L. Monteiro -- Extending Horn Clause Theories by Reflection Principles / S. Costantini, P. Dell'Acqua and G.A. Lanzarone.".
• catalog title "JELIA '94, logics in AI.".
• catalog title "JELIA '94.".
• catalog title "Logics in AI.".
• catalog title "Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings / Craig MacNish, David Pearce, Luís Moniz Pereira (eds.)".
• catalog type "Conference proceedings. fast".
• catalog type "text".