Frontiers of combining systems : first international workshop, Munich, March 1996 /

This volume contains research papers that cover the combination of logics, the combination of constraint solving techniques and decision procedures, the combination of deductive systems, the integration of data structures into Constraint Logic Programming formalisms, and logic modeling of multi-agen...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Baader, Franz (Editor), Schulz, K. U. (Klaus Ulrich), 1957- (Editor)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Science+Business Media, LLC, [1996]
Series:	Applied logic series ; v. 3.
Subjects:	Logic, Symbolic and mathematical > Congresses. Computer science > Congresses. Wiskundige logica. Computerwiskunde. Computer science. Logic, Symbolic and mathematical. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

An overview of fibred semantics and the combination of logics / Dov M. Gabbay
Generalising propositional modal logic using labelled deductive systems / Alessandra Russo
A topography of labelled modal logics / David Basin, Sean Matthews and Luca Vigano
Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional / Luis Farinas del Cerro and Andreas Herzig
A new correctness proof of the Nelson-Oppen combination procedure / Cesare Tinelli and Mehdi Harandi
Cooperation of decision procedures for the satisfiability problem / Christophe Ringeissen
Combining finite model generation with theorem proving: problems and prospects / John Slaney and Timothy Surendonk
Reasoning theories: towards an architecture for open mechanized reasoning systems / Fausto Giunchiglia, Paolo Pecchiari and Carolyn Talcott
Natural language presentation and combination of automatically generated proofs / Bernd Ingo Dahn and Andreas Wolf.