Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal verification
• Automated reasoning
• KeY
• Prover9
• Frama-C
• First-order logic

Paul E. Oppenheimer and Edward N. ZaltaIntroduction

Source URL: www.peoppenheimer.org

• Model theory
• Arguments for the existence of God
• Ontological argument
• Prover9
• First-order logic
• Argument
• Interpretation

Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011

Source URL: alfa.di.uminho.pt

An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009

Source URL: www.cs.utexas.edu

• Formal languages
• Semantics
• Predicate logic
• Theoretical computer science
• Model theory
• Discourse representation theory
• First-order logic
• Earley parser
• Prover9
• Logic
• Mathematics
• Science

Logics beyond the syllogistic boundary Larry Moss NASSLLI[removed]

Source URL: www.indiana.edu

• Kumquat
• Prover9
• FO
• Flora
• Mathematics
• Asia
• Citrus
• Flora of China

Branden Fitelson & Edward N. Zalta Steps Toward a Computational Metaphysics∗

Source URL: mally.stanford.edu

• Automated theorem proving
• Model theory
• Prover9
• First-order logic
• Function
• Unification
• Functor
• Resolution
• Modal logic
• Logic
• Mathematics
• Mathematical logic

Paul E. Oppenheimer and Edward N. Zalta 2

Source URL: mally.stanford.edu

• Metalogic
• Logical consequence
• Arguments for the existence of God
• Ontological argument
• Prover9
• First-order logic
• Function
• Entailment
• Interpretation
• Logic
• Mathematics
• Model theory