Logic Programming and Automated Reasoning

5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

AvFrank Pfenning

Häftad, Engelska, 1994

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

571 kr

Häftad

571 kr

Häftad

571 kr

Beskrivning

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.

Produktinformation

Utgivningsdatum:1994-06-22
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:352
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540582168

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Generalization and reuse of tactic proofs.- Program tactics and logic tactics.- On the relation between the ??-calculus and the syntactic theory of sequential control.- On a proof-theoretical analysis of ? 1 1 -AC, ? 1 1 -DC and ? 1 1 -CA.- Proof plans for the correction of false conjectures.- On the value of antiprenexing.- Implementing a finite-domain CLP-language on top of Prolog: a transformational approach.- RISC-CLP(CF) constraint logic programming over complex functions.- Logical closures.- Higher-order rigid E-unification.- Program extraction in a Logical Framework setting.- Higher-Order Abstract Syntax with induction in Coq.- Towards efficient calculi for resource-oriented deductive planning.- A logic programming framework for the abductive inference of intentions in cooperative dialogues.- Constraint logic programming in the sequent calculus.- On conditional rewrite systems with extra variables and deterministic logic programs.- A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs.- An efficient computation of the extended generalized closed world assumption by support-for-negation sets.- Multi-SLD resolution.- On anti-links.- A generic declarative diagnoser for normal logic programs.- Goal dependent vs. goal independent analysis of logic programs.- A kind of achievement by parts method.- Projection in temporal logic programming.

Mer från samma författare

Generative Programming and Component Engineering

Frank Pfenning, Yannis Smaragdakis

Häftad, 2003

571 kr

Term Rewriting and Applications

Frank Pfenning

Häftad, 2006

571 kr

Term Rewriting and Applications

Frank Pfenning

E-bok

2006

739 kr

Generative Programming and Component Engineering

Yannis Smaragdakis, Frank Pfenning

E-bok

2003

739 kr

Automated Deduction - CADE-21

Frank Pfenning

Häftad, 2007

571 kr

Automated Deduction - CADE-21

Frank Pfenning

E-bok

2007

739 kr

Foundations of Software Science and Computation Structures

Frank Pfenning

Häftad, 2013

571 kr

Foundations of Software Science and Computation Structures

Frank Pfenning

E-bok

2013

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Foundations of Software Science and Computation Structures

Frank Pfenning

Häftad, 2013

571 kr

Leadership and the Culture of Trust

Gilbert W. Fairholm

E-bok

1994

1 178 kr

Leadership Skills

Emily Morrison

Häftad, 1994

189 kr

Automated Deduction - CADE-21

Frank Pfenning

E-bok

2007

739 kr

Generative Programming and Component Engineering

Frank Pfenning, Yannis Smaragdakis

Häftad, 2003

571 kr

Exclusive Reactions Of High Momentum Transfer, Proceedings Of The International Workshop

Carlson Carl Carlson, Taiuti Mauro Taiuti, Stoler Paul Stoler

E-bok

1994

524 kr

Schooling the Poor

Stanley William Rothstein

Inbunden, 1994

1 079 kr

Mentorship In The Primary School

Robin Yeomans, John Sampson

Häftad, 1994

771 kr

Russian Piano Concerto, Volume 1

Jeremy Norris

Inbunden, 1994

465 kr

Logic Programming and Automated Reasoning

5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

AvFrank Pfenning

Häftad, Engelska, 1994

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

571 kr

Häftad

571 kr

Häftad

571 kr

Beskrivning

Produktinformation

Utgivningsdatum:1994-06-22
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:352
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540582168

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Generalization and reuse of tactic proofs.- Program tactics and logic tactics.- On the relation between the ??-calculus and the syntactic theory of sequential control.- On a proof-theoretical analysis of ? 1 1 -AC, ? 1 1 -DC and ? 1 1 -CA.- Proof plans for the correction of false conjectures.- On the value of antiprenexing.- Implementing a finite-domain CLP-language on top of Prolog: a transformational approach.- RISC-CLP(CF) constraint logic programming over complex functions.- Logical closures.- Higher-order rigid E-unification.- Program extraction in a Logical Framework setting.- Higher-Order Abstract Syntax with induction in Coq.- Towards efficient calculi for resource-oriented deductive planning.- A logic programming framework for the abductive inference of intentions in cooperative dialogues.- Constraint logic programming in the sequent calculus.- On conditional rewrite systems with extra variables and deterministic logic programs.- A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs.- An efficient computation of the extended generalized closed world assumption by support-for-negation sets.- Multi-SLD resolution.- On anti-links.- A generic declarative diagnoser for normal logic programs.- Goal dependent vs. goal independent analysis of logic programs.- A kind of achievement by parts method.- Projection in temporal logic programming.

Mer från samma författare

Generative Programming and Component Engineering

Frank Pfenning, Yannis Smaragdakis

Häftad, 2003

571 kr

Term Rewriting and Applications

Frank Pfenning

Häftad, 2006

571 kr

Term Rewriting and Applications

Frank Pfenning

E-bok

2006

739 kr

Generative Programming and Component Engineering

Yannis Smaragdakis, Frank Pfenning

E-bok

2003

739 kr

Automated Deduction - CADE-21

Frank Pfenning

Häftad, 2007

571 kr

Automated Deduction - CADE-21

Frank Pfenning

E-bok

2007

739 kr

Foundations of Software Science and Computation Structures

Frank Pfenning

Häftad, 2013

571 kr

Foundations of Software Science and Computation Structures

Frank Pfenning

E-bok

2013

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr