Juan Martín Heguiabehere  @ NUS Home/Search
Context
Related
| illc.uva.nl/Public...S200303.text.pdf Cached: PS.gz PS PDF Image Update Help From: illc.uva.nl/Publ...reportlist.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: viii Acknowledgments Mis amigos son gente cumplidora que acuden cuando saben que yo espero si les roza la muerte, disimulan, que para ellos la amistad es lo primero. (Update)
Similar documents (at the sentence level):
6.8%: Tableau Reasoning and Programming with Dynamic First.. - van Eijck.. (2000) (Correct)
6.5%: Logic Journal of the IGPL, Vol. 9, No. 3 - Gabbay (2001) (Correct)
Active bibliography (related documents): More All
1.0: Direct Resolution for Modal-like Logics - Carlos Areces Juan (2002) (Correct)
0.8: On Efficiently Integrating Boolean and Theory-Specific Solving.. - Sebastiani (2004) (Correct)
0.8: Modelling Modal Satisfiability in Constraint Logic.. - Brand, Gennari, de Rijke (Correct)
Similar documents based on text: More All
0.6: Hybrid Systems for N-body Simulations - Spinnato (2003) (Correct)
0.6: Computations in Propositional Logic - Hendriks (1996) (Correct)
0.5: Computational Pitfalls in Tractable Grammatical Formalisms - Trautwein (1995) (Correct)
BibTeX entry: (Update)
@misc{ heguiabehere-building,
author = "Juan Martín Heguiabehere",
title = "Building Logic Toolboxes",
url = "citeseer.comp.nus.edu.sg/676143.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
650 An axiomatic basis for computer programming (context) - Hoare - 1969
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
459 A computing procedure for quantification theory (context) - Davis, Putnam - 1960
362 Dynamic logic - Harel, Kozen et al. - 1984
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
322 First-Order Logic and Automated Theorem Proving (context) - Fitting - 1996
244 A theory of truth and semantic representation (context) - Kamp - 1981
235 First-Order Logic (context) - Smullyan - 1968
159 Predicate logic as a programming language (context) - Kowalski - 1974
130 The computational complexity of provability in systems of mo.. (context) - Ladner - 1977
126 Semantical considerations on Floyd--Hoare logic - Pratt - 1976
113 Linguistics and Philosophy (context) - Groenendijk, Stokhof et al. - 1991
92 Building decision procedures for modal logics from propositi.. - Giunchiglia, Sebastiani - 1996
85 First Order Dynamic Logic (context) - Harel - 1979
76 On evaluating decision procedures for modal logic - Hustadt, Schmidt - 1997
72 Dynamic montague grammar - Groenendijk, Stokhof - 1990
67 Paramodulation and theorem-proving in first-order theories w.. (context) - Robinson, Wos - 1969
62 An essay in combinatory dynamic logic (context) - Passy, Tinchev - 1991
61 Using the universal modality: gains and questions (context) - Goranko, Passy - 1992
59 A resolution calculus for modal logics - Ohlbach - 1988
42 A benchmark method for the propositional modal logics K (context) - Balsiger, Heuerding et al. - 2000
42 A benchmark method for the propositional modal logics K (context) - Heuerding, Schwendimann - 1996
42 Modal theorem proving: An equational viewpoint (context) - Au, Enjalbert - 1992
38 Resolution theorem proving - Bachmair, Ganzinger
37 Proving theorems with the modification method (context) - Brand - 1975
34 Concurrent dynamic logic (context) - Peleg - 1985
33 Semantics with Applications (context) - Nielson, Nielson - 1992
29 The KIV Approach to Software Verification - Reif - 1995
29 Axiomatising the Logic of Computer Programming (context) - Goldblatt - 1982
28 A completeness theorem in the modal logic of programs (context) - Segerberg - 1982
27 Alma-0: An imperative language that supports declarative pro.. - Apt, Brunekreef et al. - 1998
26 An analysis of empirical testing for modal decision procedur.. - Horrocks, Patel-Schneider et al. - 2000
24 Raisonnement automatique en logique modale et algorithmes d'.. (context) - Herzig - 1989
24 Theorem proving modulo - Dowek, Hardin et al. - 1998
24 Equational reasoning in saturationbased theorem proving - Bachmair, Ganzinger - 1998
22 Modal resolution in clausal form (context) - Enjalbert, del - 1998
22 More evaluation of decision procedures for modal logics - Giunchiglia, Giunchiglia et al. - 1998
21 Treebased heuristics in modal theorem proving - Areces, Gennari et al. - 2000
20 Encoding two-valued non-classical logics in classical logic (context) - Ohlbach, Nonnengart et al. - 2000
19 Design and results of the Tableaux-99 non-classical (context) - Massacci - 1999
19 Term indexing (context) - Ramakrishnan, Sekar et al. - 2001
19 Model minimization - an alternative to circumscription (context) - Hintikka - 1988
15 A tableau calculus for DRT (context) - Sedogbo, Eytan - 1988
14 Model checking safety critical software with spin: An applic.. - Cimatti, Giunchiglia et al. - 1997
13 Formulas as programs - Apt, Bezem - 1998
12 Language and Computation (context) - Areces, The et al. - 2000
11 Bdd-based decision procedures for k - Pan, Sattler et al. - 2002
11 The completeness of propositional dynamic logic (context) - Parikh - 1978
11 Information Processing Letters (context) - Passy, Tinchev et al. - 1985
11 Formal Methods in Artificial Intelligence (context) - Ramsay - 1987
8 van Maaren (context) - Gent - 2000
8 Why are modal logics so robustly decidable (context) - Gradel - 2001
7 Resolution calculi for modal logics (context) - Mints - 1989
7 description and hybrid logic (context) - Areces, de Nivelle et al. - 2001
7 Model generation for Discoure Representation Theory (context) - Kohlhase - 2000
6 Tableaux and related methods (context) - Hahnle
6 Reasoning about actions and planning in ltl action theories - Calvanese, De Giacomo et al. - 2002
5 Model checking fixed point logic with chop - Lange, Stirling - 2002
5 The random modal qbf test set - Heguiabehere, de Rijke - 2001
5 Accessed June (context) - URL, www et al. - 2003
3 Automated theorem proving for natural language understanding - Blackburn, Bos et al. - 1998
3 Universitat des Saarlandes (context) - Schmidt, Translation et al. - 1997
3 An overview of edison - Okasaki - 2001
3 Hylores: A hybrid logic prover based on direct resolution - Areces, Heguiabehere - 2002
3 Integrating boolean and mathematical solving: Foundations (context) - Audemard, Bertoli et al. - 2002
2 Site accessed on July (context) - logics, http et al. - 2003
2 Accessed June (context) - Version, http et al. - 2003
2 A new general method to generate random modal formulae for t.. (context) - Patel-Schneider, Sebastiani - 2003
2 Constraint programming for modelling and solving modal satis.. - Brand, Gennari et al. - 2003
2 Site accessed on July (context) - ATP, Competition et al. - 2003
1 Elsevier Science (context) - Robinson, Voronkov et al. - 2001
1 A denotational semantics for first-order logic - Apt - 2000
1 Accessed January (context) - Version, URL et al. - 2000
1 Ordered resolution for hybrid logics (context) - Areces, Gorn - 2003
1 First-order logic viewed as a constraint programming languag.. (context) - Apt, Vermeulen - 2002
1 An empirical analysis of optimization techniques for termino.. (context) - Blackburn, de Rijke et al. - 1992
1 Direct resolution for modal-like logics - Areces, Heguiabehere - 2002
1 redicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1994
1 hGen: A random CNF formula generator for Hybrid Languages (context) - Areces, Heguiabehere - 2003
1 Reviewing the design of daml+oil: An ontology language for t.. (context) - Patel-Schneider, Horrocks et al. - 2002
1 Site accessed on June (context) - haskell, homepage et al. - 2003
1 Citius altius fortius: Lessons learned from the theorem prov.. - Hillenbrand - 2003
1 Linear modal deductions (context) - Herzig, del - 1988
1 revised and expanded edition (context) - Goldblatt, Time et al. - 1992
http://www.gnu.org/copyleft/
http://www.fh-wedel.de/~mo/
http://www.mrg.dist.unige.it/~tac/
Documents on the same site (http://www.illc.uva.nl/Publications/reportlist.php): More
When are Two Games the Same? - van Benthem (1999) (Correct)
Studies on the Uses and Usefulness of Diagrams - Berger (2000) (Correct)
Logical for Social Software - Pauly (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.