Del i serien Lecture Notes in Computer Science

Logics in AI

European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

Häftad, Engelska, 1992

AvDavid Pearce,Gerd Wagner

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

1 489 kr

Skickas inom 10-15 vardagar

This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence.The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations of logic programming andknowledge-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. Theother, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, ison default theory for well founded semantics with explicitnegation.

Produktinformation

Utgivningsdatum1992-08-19
Mått155 x 235 x 23 mm
Vikt639 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor412
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540558873

Tillhör följande kategorier

A modal theory of arrows. Arrow logics I.- Knowledge without modality: A simplified framework for chronological ignorance.- Design complete sequential calculus for continuous fixpoint temporal logic.- Logical omniscience and classical logic.- Weak implication: Theory and applications.- Deriving inference rules for terminological logics.- Linear proofs and linear logic.- Relevance and revision.- Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report).- A framework for default logics.- A conceptualization of preferences in non-monotonic proof theory.- Reasoning with defeasible arguments: Examples and applications.- About deductive generalization.- Transition systems and dynamic semantics.- Declarative semantics for inconsistent database programs.- Tableau-based theorem proving and synthesis of ?-terms in the intuitionistic logic.- A constructive type system based on data terms.- An ordered resolution and paramodulation calculus for finite many-valued logics.- An efficient constraint language for polymorphic order-sorted resolution.- Default theory for Well Founded Semantics with explicit negation.- Computing answers for disjunctive logic programs.- Expanding logic programs.- Disjunctive logic programming, constructivity and strong negation.

Mer från samma författare

Conservation Today

David Pearce

Häftad, 1989

479 kr

Valuation of Social Cost (Routledge Revivals)

David Pearce

Inbunden, 2013

3 329 kr

Valuation of Social Cost (Routledge Revivals)

David Pearce

Häftad, 2014

1 079 kr

Inside the Neolithic Mind

David Lewis-Williams, David Pearce

Häftad, 2018

209 kr

Biogram

David Pearce

Häftad, 2001

339 kr

Igor Savitsky

Marinika Babanazarova, David Pearce

Häftad, 2011

269 kr

Blueprint 3

David Pearce

Inbunden, 2017

1 959 kr

Economic Value of Biodiversity

David Pearce, Dominic Moran

Inbunden, 2017

3 329 kr

Blueprint 1

David Pearce, Anil Markandya, Edward Barbier

Inbunden, 2016

3 229 kr

More Than Management Development

David Casey, David Pearce

Inbunden, 2018

2 419 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Del 1620

Simulation and Modeling Methodologies, Technologies and Applications

Gerd Wagner, Frank Werner, Floriano De Rango

Häftad, 2025

2 589 kr

Algebraic and Logic Programming

Helene Kirchner, Giorgio Levi

Häftad, 1992

749 kr

Parallel Processing: CONPAR 92 — VAPP V

Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram

Häftad, 1992

749 kr

Ethik Und Wirtschaftstheorie

Kurt W. Rothschild

Inbunden, 1992

1 489 kr

Chirurgische Therapie von Skelettmetastasen

Volker Ewerbeck, Wilhelm Friedl

Häftad, 1992

769 kr

Research and Development in Work and Technology

Hans Pornschlegel

Häftad, 1992

1 439 kr

Manual del Ujier

Zondervan

Häftad, 1992

219 kr

War and Society in Ancient Mesoamerica

Ross Hassig

Inbunden, 1992

729 kr

Del 4

Gottesknecht und Zion

Odil H. Steck

Inbunden, 1992

2 309 kr

Perioperative Management of Pacemaker Patients

J.L. Atlee III, H. Gombotz, K.H. Tscheliessnigg

Häftad, 1992

1 489 kr

Del i serien Lecture Notes in Computer Science

Logics in AI

European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

Häftad, Engelska, 1992

AvDavid Pearce,Gerd Wagner

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

1 489 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum1992-08-19
Mått155 x 235 x 23 mm
Vikt639 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor412
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540558873

Tillhör följande kategorier

A modal theory of arrows. Arrow logics I.- Knowledge without modality: A simplified framework for chronological ignorance.- Design complete sequential calculus for continuous fixpoint temporal logic.- Logical omniscience and classical logic.- Weak implication: Theory and applications.- Deriving inference rules for terminological logics.- Linear proofs and linear logic.- Relevance and revision.- Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report).- A framework for default logics.- A conceptualization of preferences in non-monotonic proof theory.- Reasoning with defeasible arguments: Examples and applications.- About deductive generalization.- Transition systems and dynamic semantics.- Declarative semantics for inconsistent database programs.- Tableau-based theorem proving and synthesis of ?-terms in the intuitionistic logic.- A constructive type system based on data terms.- An ordered resolution and paramodulation calculus for finite many-valued logics.- An efficient constraint language for polymorphic order-sorted resolution.- Default theory for Well Founded Semantics with explicit negation.- Computing answers for disjunctive logic programs.- Expanding logic programs.- Disjunctive logic programming, constructivity and strong negation.