KOBV Portal

Hits per page

hits 1 - 7 | 7 hits

Sorting

Book

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002 ; proceedings (2002)

Baaz, Matthias [Sonstige] 1960- ; LPAR 9 2002 T'bilisi

Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV014799363

Format: XIII, 463 S. , graph. Darst.

ISBN: 3540000100

Series Statement: Lecture notes in computer science 2514

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 2002

RVK:

SS 4800

RVK:

ST 300

Keywords: Logische Programmierung ; Automatisches Beweisverfahren ; Programmierlogik ; Konferenzschrift

Author information: Baaz, Matthias 1960-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

EUV Frankfurt

TU Berlin

Online Resource

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings (2002)

Baaz, Matthias ; Voronkov, Andrei

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649186649

Format: Online-Ressource

ISBN: 9783540360780 , 3540000100

Series Statement: Lecture Notes in Computer Science 2514

Content: This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc

Additional Edition: ISBN 9783540000105

Additional Edition: Buchausg. u.d.T. Logic for programming, artificial intelligence, and reasoning Berlin : Springer, 2002 ISBN 3540000100

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Logische Programmierung ; Automatisches Beweisverfahren ; Programmierlogik ; Logische Programmierung ; Automatisches Beweisverfahren ; Programmierlogik ; Konferenzschrift

DOI: 10.1007/3-540-36078-6

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Inhaltstext

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

Book

Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings (2002)

Baaz, Matthias [Hrsg.] ; LPAR 9 2002 T'bilisi

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_354855379

Format: XIII, 463 S , graph. Darst

ISBN: 3540000100

Series Statement: Lecture notes in computer science 2514

Note: Literaturangaben

Additional Edition: Erscheint auch als Online-Ausgabe Baaz, Matthias Logic for Programming, Artificial Intelligence, and Reasoning Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 ISBN 9783540360780

Additional Edition: ISBN 3540000100

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Logische Programmierung ; Automatisches Beweisverfahren ; Programmierlogik ; Logische Programmierung ; Automatisches Beweisverfahren ; Programmierlogik ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Book

Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings (2002)

Baaz, Matthias ; LPAR (9 : 2002 : T'bilisi) 9 T'bilisi

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB13452654

Format: XIII, 463 Seiten , graph. Darst. , 24 cm

ISBN: 3540000100

Series Statement: Lecture notes in computer science 2514

Note: Literaturangaben , Text engl.

Language: English

Keywords: Logische Programmierung ; Kongress ; Tiflis 〈2002〉 ; Automatisches Beweisverfahren ; Kongress ; Tiflis 〈2002〉 ; Programmierlogik ; Kongress ; Tiflis 〈2002〉 ; Kongress ; Konferenzschrift

Author information: Baaz, Matthias

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Book

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002 ; proceedings (2002)

Baaz, Matthias 1960- ; LPAR 9 2002 T'bilisi

Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV014799363

Format: XIII, 463 S. : graph. Darst.

ISBN: 3-540-00010-0

Series Statement: Lecture notes in computer science 2514

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 2002

RVK:

SS 4800

RVK:

ST 300

Keywords: Logische Programmierung ; Automatisches Beweisverfahren ; Programmierlogik ; Konferenzschrift

Author information: Baaz, Matthias 1960-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

Online Resource

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings (2002)

Baaz, Matthias. [editor.] ; Voronkov, Andrei. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947920434602882

Format: XIV, 470 p. , online resource.

ISBN: 9783540360780

Series Statement: Lecture Notes in Computer Science, 2514

Note: Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language -- Maintenance of Formal Software Developments by Stratified Verification -- A Note on Universal Measures for Weak Implicit Computational Complexity -- Extending Compositional Message Sequence Graphs -- Searching for Invariants Using Temporal Resolution -- Proof Planning for Feature Interactions: A Preliminary Report -- An Extension of BDICTL with Functional Dependencies and Components -- Binding Logic: Proofs and Models -- Directed Automated Theorem Proving -- A Framework for Splitting BDI Agents -- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics -- Using BDDs with Combinations of Theories -- On Expressive Description Logics with Composition of Roles in Number Restrictions -- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation -- A Non-commutative Extension of MELL -- Procedural Semantics for Fuzzy Disjunctive Programs -- Pushdown Specifications -- Theorem Proving with Sequence Variables and Flexible Arity Symbols -- Games, Probability, and the Quantitative ?-Calculus qM? -- Parallelism and Tree Regular Constraints -- Gödel Logics and Cantor-Bendixon Analysis -- A Semantics for Proof Plans with Applications to Interactive Proof Planning -- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction -- Proof Development with ?MEGA: ?2 Is Irrational -- A Local System for Linear Logic -- Investigating Type-Certifying Compilation with Isabelle -- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions -- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics -- Fuzzy Prolog: A Simple General Implementation Using (R).

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540000105

Language: English

DOI: 10.1007/3-540-36078-6

URL: http://dx.doi.org/10.1007/3-540-36078-6

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (2002)

Baaz, Matthias. [editor.] ; Voronkov, Andrei. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9948621153802882

Format: XIV, 470 p. , online resource.

Edition: 1st ed. 2002.

ISBN: 9783540360780

Series Statement: Lecture Notes in Artificial Intelligence ; 2514

Note: Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language -- Maintenance of Formal Software Developments by Stratified Verification -- A Note on Universal Measures for Weak Implicit Computational Complexity -- Extending Compositional Message Sequence Graphs -- Searching for Invariants Using Temporal Resolution -- Proof Planning for Feature Interactions: A Preliminary Report -- An Extension of BDICTL with Functional Dependencies and Components -- Binding Logic: Proofs and Models -- Directed Automated Theorem Proving -- A Framework for Splitting BDI Agents -- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics -- Using BDDs with Combinations of Theories -- On Expressive Description Logics with Composition of Roles in Number Restrictions -- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation -- A Non-commutative Extension of MELL -- Procedural Semantics for Fuzzy Disjunctive Programs -- Pushdown Specifications -- Theorem Proving with Sequence Variables and Flexible Arity Symbols -- Games, Probability, and the Quantitative ?-Calculus qM? -- Parallelism and Tree Regular Constraints -- Gödel Logics and Cantor-Bendixon Analysis -- A Semantics for Proof Plans with Applications to Interactive Proof Planning -- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction -- Proof Development with ?MEGA: ?2 Is Irrational -- A Local System for Linear Logic -- Investigating Type-Certifying Compilation with Isabelle -- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions -- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics -- Fuzzy Prolog: A Simple General Implementation Using (R).

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662178072

Additional Edition: Printed edition: ISBN 9783540000105

Language: English

DOI: 10.1007/3-540-36078-6

URL: https://doi.org/10.1007/3-540-36078-6

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hits 1 - 7 | 7 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 354000050x?

Did you mean 3540000127?

Did you mean 3540000011?

Kooperativer Bibliotheksverbund

Berlin Brandenburg