Building Logic Toolboxes (2003)  (Make Corrections)  
Juan Martín Heguiabehere

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.