Generating Customized Verifiers for Automatically Generated Code Ewen Denney Bernd Fischer

Source URL: ti.arc.nasa.gov

• Type theory
• Bioinformatics
• Annotation
• Reference
• Writing
• Schema
• Covariance and contravariance
• Prolog
• Type system

The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal

Source URL: repository.readscheme.org

• Automated theorem proving
• Rules of inference
• Resolution
• Model theory
• Logic in computer science
• Logic programming
• First-order logic
• Modal logic
• Prolog
• E theorem prover
• Superposition calculus
• CARINE

Conjunctive Partial Deduction in Practice Jesper Jrgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k

Source URL: repository.readscheme.org

• Automated theorem proving
• Rules of inference
• Singularity theory
• Unfolding
• Prolog
• Conjunction
• Resolution
• Boolean algebra

Histos  () – HERODOTUS’ PROLOGUE AND THE GREEK POETIC TRADITION Abstract: This article seeks to deepen our understanding of Herodotus’ relationship to Homer as reflected in the prolog

Source URL: research.ncl.ac.uk

• Herodotus
• Ancient Greek religion
• Homer
• Simonides of Ceos
• Battle of Plataea
• Iliad
• Epic Cycle
• Thucydides
• Histories
• Trojan War

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh

Source URL: repository.readscheme.org

• Predicate logic
• Mathematical logic
• Prolog
• Logic programming
• Partial evaluation
• Predicate
• Resolution
• Mereology
• Programming language
• Eval

Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1

Source URL: www.dcs.bbk.ac.uk

• Logic in computer science
• Mathematical logic
• Theoretical computer science
• Static program analysis
• Termination analysis
• Automated theorem proving
• Prolog
• Unification
• Rewriting
• Algorithm
• Recursion
• ECLiPSe

Generating driving directions for intelligent vehicles interfaces Barbara Di Eugenio Computer Science University of Illinois at Chicago Chicago, IL 60607, USA

Source URL: nlp.cs.uic.edu

• User interfaces
• Natural language generation
• Computational linguistics
• Multimodal interaction
• Natural language processing
• Dialog system
• Archy
• Prolog
• Here
• Object Process Methodology
• Aggregation

EXPERT SYSTEMS APPLIED TO PROBLEMS IN GEOGRAPHIC INFORMATION SYSTEMS: INTRODUCTION, REVIEW AND PROSPECTS Vincent B. Robinson (Goss.Ensuadrain§UNCA-MULTICS.MAILNET) Department of Surveying Engineering

Source URL: mapcontext.com

• Artificial intelligence
• Decision theory
• Information systems
• Knowledge engineering
• Expert systems
• Prolog
• Geographic information system
• Knowledge representation and reasoning
• Decision support system
• Knowledge acquisition
• Planner
• SHINE Expert System

Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers)

Source URL: users.ugent.be

• Programming paradigms
• Logic in computer science
• Constraint programming
• Prolog
• Constraint Handling Rules
• Abstract machine
• Operational semantics
• Abstract data type
• Semantics
• Functional programming
• Logic programming
• Coq

Inhaltsverzeichnis I. Topologische R¨ aume . . . . . . . . . . . . . . . . . I.1 Prolog: Metrische R¨aume . . . . . . . . . . . .

Source URL: page.mi.fu-berlin.de