Fausto Giunchiglia, Roberto Sebastiani  Home/Search
Context Related
| sra.itc.it/tr/GS96b.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sra.itc.it/?id_...one=5&year=1996 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: References (Update)
Cited by: More
Mirlog:a Logic For Multimedia Informa Tion Retrieva - Carlo Meghini Fabrizio (1998) (Correct)
Sat-Based Decision Procedures For Automated Reasoning: A.. - Armando, Al. (2002) (Correct)
On Efficiently Integrating Boolean and Theory-Specific Solving.. - Sebastiani (2004) (Correct)
Active bibliography (related documents): More All
0.2: An Empirical Analysis Of Modal Theorem Provers - Hustadt, Schmidt (Correct)
0.2: Simplification and Backjumping in Modal Tableau - Hustadt, Schmidt (1998) (Correct)
0.2: Logics of Formal Inconsistency - Carnielli, Coniglio, Marcos (Correct)
Similar documents based on text: More All
0.3: Task Acquisition with a Description Logic Reasoner - Buchheit, Bürckert.. (1995) (Correct)
0.2: Subsumption Algorithms for Concept Description Languages - Hollunder, Nutt.. (1990) (Correct)
0.2: Augmenting Concept Languages by Transitive Closure of Roles: An.. - Baader (1990) (Correct)
Related documents from co-citation: More All
29: Building decision procedures for modal logics from propositional decision proced.. - Giunchiglia, Sebastiani - 1996
27: On Evaluating Decision Procedures for Modal Logic - Hustadt, Schmidt - 1997
21: A machine program for theoremproving (context) - Davis, Logemann et al. - 1962
BibTeX entry: (Update)
F. Giunchiglia, R.Sebastiani. A SAT-based decision procedure for ALC. In Proceedings of KR'96, 1996. http://citeseer.ist.psu.edu/giunchiglia96satbased.html More
@incollection{ giunchiglia96satbased,
author = "Fausto Giunchiglia and Roberto Sebastiani",
title = "A {SAT}-Based Decision Procedure for {ALC}",
booktitle = "{KR}'96: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro",
pages = "304--314",
year = "1996",
url = "citeseer.ist.psu.edu/giunchiglia96satbased.html" }
Citations (may not include all citations):459 A computing procedure for quantification theory (context) - Davis, Putnam - 1960
390 A machine program for theorem proving (context) - Davis, Longemann et al. - 1962
329 Where the really hard problem are - Cheeseman, Kanefski et al. - 1991
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
240 A guide to the completeness and complexity for modal logics .. (context) - Halpern, Moses
134 Experimental results on the crossover point in satisfiabilit.. - Crawford, Auton - 1993
113 or: how we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
92 Building decision procedures for modal logics from propositi.. - Giunchiglia, Sebastiani - 1996
51 Report on a SAT competition - Buro, Buning - 1992
46 Non-Omniscient Belief as Context-Based Reasoning (context) - Giunchiglia, Serafini et al. - 1993
23 Embedding Complex Decision Procedures inside an Interactive .. (context) - Armando, Giunchiglia - 1993
10 Symbolic Boolean manipolation with ordered binary-decision d.. (context) - Bryant - 1992
9 Journal of Logic and Computation (context) - D'Agostino, Mondadori et al. - 1994
4 Are Tableaux an Improvement on Truth-Tables (context) - D'Agostino - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sra.itc.it/?id_menu=19&id_sezione=5&year=1996): More
Formal Theories for Reactive Planning Systems: some.. - Traverso, al. (1996) (Correct)
Building decision procedures for modal logics from.. - Giunchiglia, Sebastiani (1996) (Correct)
Automating the Synthesis of Decision Procedures in a .. - Armando, Gallagher, .. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC