Automated Reasoning with Analytic Tableaux and Related Methods

>> Google Books

Automated Reasoning with Analytic Tableaux and Related Methods / Nicola Olivetti, Jörg Siekmann

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540730989 [3540730982]
9783540730996 [3540730990]

書誌ID:

OB00488310

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

AUTOMATED REASONING WITH ANALYTIC TABLEAUX & RELATED METHODS

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

Invited Talks

Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Piero A. Bonatti

Our Quest for the Holy Grail of Agent Verification / John-Jules Ch. Meyer

An Abstract Framework for Satisfiability Modulo Theories / Cesare Tinelli

Research Papers

Axiom Pinpointing in General Tableaux / Franz Baader ; Rafael Penaloza

Proof Theory for First Order Lukasiewicz Logic / Matthias Baaz ; George Metcalfe

A Tableau Method for Public Announcement Logics / Philippe Balbiani ; Hans van Ditmarsch ; Andreas Herzig ; Tiago de Lima

Bounded Model Checking with Description Logic Reasoning / Shoham Ben-David ; Richard Trefler ; Grant Weddell

Tableau Systems for Logics of Subinterval Structures over Dense Orderings / Davide Bresolin ; Valentin Goranko ; Angelo Montanari ; Pietro Sala

A Cut-Free Sequent Calculus for Bi-intuitionistic Logic / Linda Buisman ; Rajeev Gore

Tableaux with Dynamic Filtration for Layered Modal Logics / Olivier Gasquet ; Bilal Said

The Neighbourhood of S0.9 and S1 / Roderic A. Girle

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies / Linh Anh Nguyen

Tree-Sequent Methods for Subintuitionistic Predicate Logics / Ryo Ishigaki ; Kentaro Kikuchi

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation / Ekaterina Komendantskaya

Updating Reduced Implicate Tries / Neil V. Murray ; Erik Rosenthal

A Bottom-Up Approach to Clausal Tableaux / Nicolas Peltier

Differential Dynamic Logic for Verifying Parametric Hybrid Systems / Andre Platzer

System Descriptions

Improvements to the Tableau Prover PITP / Alessandro Avellone ; Guide Fiorino ; Ugo Moscato

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning / Laura Giordano ; Valentina Gliozzi ; Gian Luca Pozzato

Author Index

Invited Talks

Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Piero A. Bonatti

Our Quest for the Holy Grail of Agent Verification / John-Jules Ch. Meyer

An Abstract Framework for Satisfiability Modulo Theories / Cesare Tinelli

Research Papers

Axiom Pinpointing in General Tableaux / Franz Baader ; Rafael Penaloza

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Olivetti, Nicola, Siekmann, J?rg Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Brünnler, Kai, Kanade, Takeo, Metcalfe, George SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Giese, Martin, Kanade, Takeo, Waaler, Arild Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods De Nivelle Springer eBooks Computer Science, Springer International Publishing
3 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Br?nnler, Kai, Kanade, Takeo, Metcalfe, George Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Schmidt Springer eBooks Computer Science, Springer International Publishing
4 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, Beckert, Bernhard, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg	10 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Galmiche, Didier; Larchey-Wendling, Dominique Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, Beckert, Bernhard, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	11 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods De Nivelle SpringerLink Books - AutoHoldings, Springer International Publishing
6 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Giese, Martin, Kanade, Takeo, Waaler, Arild, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods Schmidt, Nalon, Cláudia SpringerLink Books - AutoHoldings, Springer International Publishing

1

2

3

4

5

6

7

8

9

10

11

12