default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 39

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 39, Number 1, July 2007

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CiaffaglioneLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CiaffaglioneLM07
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan:
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. 1-47
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BuningSZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BuningSZ07
Hans Kleine Büning, K. Subramani, Xishun Zhao:
Boolean Functions as Models for Quantified Boolean Formulas. 49-75
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Morawska07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Morawska07
Barbara Morawska:
General E -unification with Eager Variable Elimination and a Nice Cycle Rule. 77-106

Volume 39, Number 2, August 2007

Special Issue on User Interfaces in Theorem Proving

- view
  authority control:
- export record
  dblp key:
  - journals/jar/AspinallL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AspinallL07
David Aspinall, Christoph Lüth:
Special Issue on User Interfaces in Theorem Proving: Preface. 107-108
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AspertiCTZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AspertiCTZ07
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli:
User Interaction with the Matita Proof Assistant. 109-139
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CairnsG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CairnsG07
Paul A. Cairns, Jeremy Gow:
Integrating Searching and Authoring in Mizar. 141-160
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Narboux07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Narboux07
Julien Narboux:
A Graphical User Interface for Formal Proofs in Geometry. 161-180
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BillingsleyR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BillingsleyR07
William Billingsley, Peter Robinson:
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book. 181-218
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Sinz07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Sinz07
Carsten Sinz:
Visualizing SAT Instances and Runs of the DPLL Algorithm. 219-243

Volume 39, Number 3, October 2007

Special Issue on Reasoning in Description Logics

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Baader07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Baader07
Franz Baader:
Preface to Special Issue on Reasoning in Description Logics. 245-247
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HorrocksS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HorrocksS07
Ian Horrocks, Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ. 249-276
- view
  authority control:
- export record
  dblp key:
  - journals/jar/TsarkovHP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TsarkovHP07
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics. 277-316
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SchlobachHCH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SchlobachHCH07
Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen:
Debugging Incoherent Terminologies. 317-349
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HustadtMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HustadtMS07
Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. 351-384
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CalvaneseGLLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CalvaneseGLLR07
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. 385-429

Volume 39, Number 4, December 2007

- view
  authority control:
- export record
  dblp key:
  - journals/jar/StapletonMFFS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/StapletonMFFS07
Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern:
Automated Theorem Proving in Euler Diagram Systems. 431-470
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BrooksEEMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BrooksEEMR07
Daniel R. Brooks, Esra Erdem, Selim T. Erdogan, James W. Minett, Donald Ringe:
Inferring Phylogenetic Trees Using Answer Set Programming. 471-511
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ForestK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ForestK07
Julien Forest, Delia Kesner:
Expression Reduction Systems with Patterns. 513-541

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.