Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings /
Invited Papers -- Proof Analysis by Resolution -- Using Linear Logic to Reason about Sequent Systems -- Research Papers -- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic -- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas -- Integration of Equality Reasoning into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief -- A Confluent Theory Connection Calculus -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices -- Question Answering: From Partitions to Prolog -- A General Theorem Prover for Quantified Modal Logics -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem -- A New Indefinite Semantics for Hilbert’s Epsilon -- A Tableau Calculus for Combining Non-disjoint Theories -- System Descriptions Papers -- LINK: A Proof Environment Based on Proof Nets -- DCTP 1.2 — System Abstract.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2002
|
Subjects: | Computer science., Computer programming., Software engineering., Mathematical logic., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages., Software Engineering., Programming Techniques., |
Online Access: | http://dx.doi.org/10.1007/3-540-45616-3 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:191324 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1913242018-07-30T23:15:28ZAutomated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / Egly, Uwe. editor. Fermüller, Chritian G. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2002.engInvited Papers -- Proof Analysis by Resolution -- Using Linear Logic to Reason about Sequent Systems -- Research Papers -- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic -- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas -- Integration of Equality Reasoning into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief -- A Confluent Theory Connection Calculus -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices -- Question Answering: From Partitions to Prolog -- A General Theorem Prover for Quantified Modal Logics -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem -- A New Indefinite Semantics for Hilbert’s Epsilon -- A Tableau Calculus for Combining Non-disjoint Theories -- System Descriptions Papers -- LINK: A Proof Environment Based on Proof Nets -- DCTP 1.2 — System Abstract.Computer science.Computer programming.Software engineering.Mathematical logic.Artificial intelligence.Computer Science.Artificial Intelligence (incl. Robotics).Mathematical Logic and Formal Languages.Software Engineering.Programming Techniques.Springer eBookshttp://dx.doi.org/10.1007/3-540-45616-3URN:ISBN:9783540456162 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer programming. Software engineering. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Software Engineering. Programming Techniques. Computer science. Computer programming. Software engineering. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Software Engineering. Programming Techniques. |
spellingShingle |
Computer science. Computer programming. Software engineering. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Software Engineering. Programming Techniques. Computer science. Computer programming. Software engineering. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Software Engineering. Programming Techniques. Egly, Uwe. editor. Fermüller, Chritian G. editor. SpringerLink (Online service) Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / |
description |
Invited Papers -- Proof Analysis by Resolution -- Using Linear Logic to Reason about Sequent Systems -- Research Papers -- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic -- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas -- Integration of Equality Reasoning into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief -- A Confluent Theory Connection Calculus -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices -- Question Answering: From Partitions to Prolog -- A General Theorem Prover for Quantified Modal Logics -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem -- A New Indefinite Semantics for Hilbert’s Epsilon -- A Tableau Calculus for Combining Non-disjoint Theories -- System Descriptions Papers -- LINK: A Proof Environment Based on Proof Nets -- DCTP 1.2 — System Abstract. |
format |
Texto |
topic_facet |
Computer science. Computer programming. Software engineering. Mathematical logic. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Software Engineering. Programming Techniques. |
author |
Egly, Uwe. editor. Fermüller, Chritian G. editor. SpringerLink (Online service) |
author_facet |
Egly, Uwe. editor. Fermüller, Chritian G. editor. SpringerLink (Online service) |
author_sort |
Egly, Uwe. editor. |
title |
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / |
title_short |
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / |
title_full |
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / |
title_fullStr |
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / |
title_full_unstemmed |
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings / |
title_sort |
automated reasoning with analytic tableaux and related methods [electronic resource] : international conference, tableaux 2002 copenhagen, denmark, july 30 – august 1, 2002 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
2002 |
url |
http://dx.doi.org/10.1007/3-540-45616-3 |
work_keys_str_mv |
AT eglyuweeditor automatedreasoningwithanalytictableauxandrelatedmethodselectronicresourceinternationalconferencetableaux2002copenhagendenmarkjuly30august12002proceedings AT fermullerchritiangeditor automatedreasoningwithanalytictableauxandrelatedmethodselectronicresourceinternationalconferencetableaux2002copenhagendenmarkjuly30august12002proceedings AT springerlinkonlineservice automatedreasoningwithanalytictableauxandrelatedmethodselectronicresourceinternationalconferencetableaux2002copenhagendenmarkjuly30august12002proceedings |
_version_ |
1756266178791079936 |