
Abella
 Referenced in 50 articles
[sw09461]
 reduction properties. This paper discusses the logical foundations of Abella, outlines the style of theorem...

MMT
 Referenced in 48 articles
[sw07136]
 represent the metatheoretic foundations of mathematical and logical systems together with the represented knowledge ... itself and interlink the foundations at the metalogical level. This ”logicsastheories” approach...

Twelf
 Referenced in 170 articles
[sw06888]
 logics. Large research projects using Twelf include the TALT typed assembly language, a foundational proof...

HiLog
 Referenced in 47 articles
[sw01580]
 HiLog: A foundation for higherorder logic programming. We describe a novel logic, called HiLog...

miz3
 Referenced in 11 articles
[sw18631]
 prover, regardless of its architecture and logical foundations. To show the viability of our proposed ... theorem prover regardles s of its logical foundations. The miz3 interface allows easy access...

MEBN
 Referenced in 15 articles
[sw02784]
 observations accrue. MEBN provides a logical foundation for the emerging collection of highly expressive probability...

Isabelle/PIDE
 Referenced in 13 articles
[sw07185]
 educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have ... lead to combined mathematical assistants, where the logical engine is in the background, without obstructing...

UniForM
 Referenced in 8 articles
[sw10332]
 Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real...

LPTP
 Referenced in 7 articles
[sw01822]
 theoretical foundations of LPTP (a logic program theorem prover). This article contains the theoretical foundations...

PLM
 Referenced in 3 articles
[sw38031]
 ambition to function as a foundational theory of mathematics. The target theory of our embedding ... modal relational type theory as logical foundation for which a representation in functional type theory ... representation of the theory in the functional logic of Isabelle/HOL based on a semantical representation...

CatLog3
 Referenced in 3 articles
[sw29641]
 invariant, being the logic of the calculus, logical categorial grammar is purely lexicalist ... just a lexical dictionary. The foundational logic of continuity was established by Lambek (Am Math...

JavaMOP
 Referenced in 20 articles
[sw14034]
 foundational principle. Expressive requirements specification formalisms can be included into the framework via logic plug...

Crowfoot
 Referenced in 5 articles
[sw07706]
 Crowfoot’s assertion language, based on separation logic, features nested Hoare triples which describe ... recent developments in the mathematical foundations of Hoare logics with nested triples...

MoMo
 Referenced in 1 article
[sw10022]
 originally created for teaching the logical foundations of HeadDriven Phrase Structure Grammar (HPSG ... been extended to a treatment of description logics (DL), which are at present the standard ... computational grammar implementation and on the logical foundations of constraintbased grammar frameworks...

GeoLogic
 Referenced in 1 article
[sw33592]
 approach: ATPs often use humanunfriendly logical foundations while ITPs are meant for formalizing existing ... create a simple humanfriendly logical system for mathematical problem solving. We picked the case...

EvoOnt
 Referenced in 1 article
[sw16434]
 tools. Furthermore, given OWL’s Description Logic foundation, any Semantic Web engine allows to derive...

VeriStar
 Referenced in 3 articles
[sw09393]
 collection of machineverified program logics and compilers giving foundational correctness guarantees.par VeriStar ... entailment holds in a provedsound separation logic for C minor...

FrONT
 Referenced in 2 articles
[sw28410]
 method. As description logic provides the theorethical foundation for standard Web ontology language...

EFSMT
 Referenced in 2 articles
[sw19487]
 including nonlinear arithmetic), as the logical framework and foundation for analyzing and synthesizing cyberphysical...

LATIN
 Referenced in 15 articles
[sw19699]
 developing methods, techniques, and tools for interfacing logics and related formal systems. These systems ... these systems have differing domains of applications, foundational assumptions, and input languages, which makes them...