Automated Deduction Techniques for the Management Of Personalized Documents

Automated Deduction Techniques for the Management Of Personalized Documents

Cached

Download Links

by Peter Baumgartner , Ulrich Furbach

Citations:

BibTeX

@ARTICLE{Baumgartner_automateddeduction,
    author = {Peter Baumgartner and Ulrich Furbach},
    title = {Automated Deduction Techniques for the Management Of Personalized Documents},
    journal = {},
    year = {}
}

Bookmark

OpenURL

Abstract

This work is about a "real-world" application of automated deduction. The application is the management of documents (such as mathematical textbooks) as they occur in a readily available tool. In this "Slicing Information Technology tool", documents are decomposed ("sliced") into small units. A particular application task is to assemble a new document from such units in a selective way, based on the user's current interest and knowledge. It is

Citations

1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
160	GXL: Toward a Standard Exchange Format - Holt, Winter, et al. - 2000
137	Practical reasoning for very expressive description logics - Horrocks, Sattler, et al.
71	Relating defeasible and normal logic programs through transformation properties - Chesñevar, Dix, et al. - 2000
68	Exchanging Graphs with GXL - Winter
60	Towards a Logical Approach for Soccer Agents Engineering - Murray, Obst, et al.
56	The Taming of the (X)OR - Baumgartner, Massacci
54	Folding: An Approach to Enable Program Understanding of Preprocessed Languages - Kullbach, Riediger
49	Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets - Hutten, Philippi
48	Specification of Symbols and Implementation of Their Constraints in JKogge - Uhe, Rosendahl
47	Specifying Rational Agents with Statecharts and Utility Functions - Obst
47	Applying GUPRO to GEOS – A Case Study - Lange, Sneed, et al.
45	From the Specification of Multiagent Systems by Statecharts to their Formal Analysis by Model Checking - Stolzenburg
42	Slicing Book Technology — eine neue Technik für eine neue Lehre - Valerius, Simon
41	Specifying Agents with UML - Murray
40	Frieder Stolzenburg. Multiagent Systems Specification by UML Statecharts Aiming at Intelligent Manufacturing - Arai
40	Conceptual Modelling and Web Site Generation using Graph Technology - Gipp, Ebert
34	Software Reengineering (Bad Honnef - Workshop - 2001
31	Hyper Tableaux — The Next Generation - Baumgartner - 1998
31	An abstract machine for computing the well-founded semantics - Sagonas, Swift, et al. - 1996
30	FDPLL – A First-Order Davis-Putnam-Logeman-Loveland Procedure - Baumgartner - 2000
18	Automated deduction with hyper-resolution - Robinson - 1965
13	Setheo v3.2: Recent developments — system abstract - Goller, Letz, et al. - 1994
10	Ilkka Niemelä. Hyper Tableaux - Baumgartner, Furbach - 1996
9	Analysis Individuell - Dahn, Wolter - 2000
7	Computing Non-Ground Representations of Stable Models - Eiter, Lu, et al. - 1997
4	ACID User Manual - version 1.0 - Graf - 1994
4	Clausal Tableaux - Letz - 1998
2	Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements - Manfred - 1991
1	Rational models of normal logic programs - Bornscheuer - 1996
1	Fermüller and Alexander Leitsch. Hyperresolution and automated model building - Christian - 1996
1	NS96] Ilkka Niemelä and Patrik Simons. Efficient implementation of the well-founded and stable model semantics - Peltier - 1996