Data Portal @ linkeddatafragments.org

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

• catalog abstract ""This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira, J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation."--PUBLISHER'S WEBSITE.".
• catalog contributor b3904796.
• catalog contributor b3904797.
• catalog contributor b3904798.
• catalog created "1992.".
• catalog date "1992".
• catalog date "1992.".
• catalog dateCopyrighted "1992.".
• catalog description ""This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira, J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation."--PUBLISHER'S WEBSITE.".
• catalog description "A framework for default logics / C. Froidevaux and J. Mengin -- A conceptualization of preferences in non-monotonic proof theory / A. Hunter -- Reasoning with defeasible arguments : examples and applications / G. Vreeswijk -- About deductive generalization / Ph. Besnard and E. Grégoire -- Transition systems and dynamic semantics / T. Fernando -- Declarative semantics for inconsistent database programs / M.S. Mircheva -- Tableau-based theorem proving and synthesis of lambda-terms in the intuitionistic logic / O. Bittel -- A constructive type system based on data terms / H.-J. Goltz -- An ordered resolution and paramodulation calculus for finite many-valued logics / N. Zabel -- An efficient constraint language for polymorphic order-sorted resolution / C. Prehofer.".
• catalog description "A modal theory of arrows : arrows logics I / D. Vakarelov -- Knowledge without modality : a simplified framework for chronological ignorance / C. MacNish -- Design complete sequential calculus for continuous fixpoint temporal logic / R. Pliuskevicius -- Logical omniscience and classical logic / R. Muskens -- Weak implication : theory and applications / K.L. Kwast and S. van Denneheuvel -- Deriving inference rules for terminological logics / V. Royer and J.J. Quantz -- Linear proofs and linear logic / B. Fronhöfer -- Relevance and revision : about generalizing syntax-based belief revision / E. Weydert -- Modellings for belief change : base contraction, multiple contraction, and epistemic entrenchment / H. Rott.".
• catalog description "Default theory for well founded semantics with explicit negation / L.M. Pereira, J.J. Alferes and J.N. Aparício -- Computing answers for disjunctive logic programs / U. Furbach -- Expanding logic programs / C. Witteveen -- Disjunctive logic programming, constructivity and strong negation / H. Herre and D. Pearce.".
• catalog description "Includes bibliographical references.".
• catalog extent "410 p.".
• catalog identifier "038755887X".
• catalog identifier "354055887X".
• catalog isPartOf "Lecture notes in computer science ; 633. Lecture notes in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science ; 633.".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "1992".
• catalog issued "1992.".
• catalog language "eng fre".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "006.3 20".
• catalog subject "Artificial intelligence Congresses.".
• catalog subject "Logic Congresses.".
• catalog subject "Q334 .E985 1992".
• catalog tableOfContents "A framework for default logics / C. Froidevaux and J. Mengin -- A conceptualization of preferences in non-monotonic proof theory / A. Hunter -- Reasoning with defeasible arguments : examples and applications / G. Vreeswijk -- About deductive generalization / Ph. Besnard and E. Grégoire -- Transition systems and dynamic semantics / T. Fernando -- Declarative semantics for inconsistent database programs / M.S. Mircheva -- Tableau-based theorem proving and synthesis of lambda-terms in the intuitionistic logic / O. Bittel -- A constructive type system based on data terms / H.-J. Goltz -- An ordered resolution and paramodulation calculus for finite many-valued logics / N. Zabel -- An efficient constraint language for polymorphic order-sorted resolution / C. Prehofer.".
• catalog tableOfContents "A modal theory of arrows : arrows logics I / D. Vakarelov -- Knowledge without modality : a simplified framework for chronological ignorance / C. MacNish -- Design complete sequential calculus for continuous fixpoint temporal logic / R. Pliuskevicius -- Logical omniscience and classical logic / R. Muskens -- Weak implication : theory and applications / K.L. Kwast and S. van Denneheuvel -- Deriving inference rules for terminological logics / V. Royer and J.J. Quantz -- Linear proofs and linear logic / B. Fronhöfer -- Relevance and revision : about generalizing syntax-based belief revision / E. Weydert -- Modellings for belief change : base contraction, multiple contraction, and epistemic entrenchment / H. Rott.".
• catalog tableOfContents "Default theory for well founded semantics with explicit negation / L.M. Pereira, J.J. Alferes and J.N. Aparício -- Computing answers for disjunctive logic programs / U. Furbach -- Expanding logic programs / C. Witteveen -- Disjunctive logic programming, constructivity and strong negation / H. Herre and D. Pearce.".
• catalog title "Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings / D. Pearce, G. Wagner, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "text".