Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Saved in:
Bibliographic Details
Main Authors: Galmiche, Didier. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
Subjects:Computer science., Architecture, Computer., Mathematical logic., Artificial intelligence., Computer Science., Computer System Implementation., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages., Mathematical Logic and Foundations.,
Online Access:http://dx.doi.org/10.1007/BFb0027400
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:200407
record_format koha
spelling KOHA-OAI-TEST:2004072018-07-30T23:27:37ZAutomated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings / Galmiche, Didier. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1997.engThis book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.MGTP: A model generation theorem prover — Its advanced features and applications — -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies.This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.Computer science.Architecture, Computer.Mathematical logic.Artificial intelligence.Computer Science.Computer System Implementation.Artificial Intelligence (incl. Robotics).Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/BFb0027400URN:ISBN:9783540690467
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.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Computer System Implementation.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Computer System Implementation.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
spellingShingle Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Computer System Implementation.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Computer System Implementation.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Galmiche, Didier. editor.
SpringerLink (Online service)
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
description This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.
format Texto
topic_facet Computer science.
Architecture, Computer.
Mathematical logic.
Artificial intelligence.
Computer Science.
Computer System Implementation.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
author Galmiche, Didier. editor.
SpringerLink (Online service)
author_facet Galmiche, Didier. editor.
SpringerLink (Online service)
author_sort Galmiche, Didier. editor.
title Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
title_short Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
title_full Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
title_fullStr Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
title_full_unstemmed Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
title_sort automated reasoning with analytic tableaux and related methods [electronic resource] : international conference, tableaux'97 pont-à-mousson, france, may 13–16, 1997 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1997
url http://dx.doi.org/10.1007/BFb0027400
work_keys_str_mv AT galmichedidiereditor automatedreasoningwithanalytictableauxandrelatedmethodselectronicresourceinternationalconferencetableaux97pontamoussonfrancemay13161997proceedings
AT springerlinkonlineservice automatedreasoningwithanalytictableauxandrelatedmethodselectronicresourceinternationalconferencetableaux97pontamoussonfrancemay13161997proceedings
_version_ 1756267423193890816

Similar Items