Abstract theorem proving

Authors:
Fausto Giunchiglia;Toby Walsh
Affiliations:
Mechanised Reasoning Group, IRST, Povo, Trento, Italy;Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Year:
1989

Citing 3
Cited 5

Abstraction in planning

Abstraction in planning
Theorem proving with definitions

Proceedings of the Seventh Conference (AISB89) on Artificial Intelligence and Simulation of Behaviour
A theory of abstraction

Artificial Intelligence

A CSP Abstraction Framework

SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Approximate Structure-Preserving Semantic Matching

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
A facet-based methodology for geo-spatial modeling

GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
A faceted ontology for a semantic geo-catalogue

ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Domains and context: First steps towards managing diversity in knowledge

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

Informally, abstraction can be described as the process of mapping a representation of a problem into a new representation. The aim of the paper is to propose a theory of abstraction. The generality of the framework is tested by formalizing and analyzing some work done in the past; its efficacy by giving a procedure which solves the false proof problem by avoiding the use of inconsistent abstract spaces.