Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1

Source URL: tmancini.di.uniroma1.it

• Programming paradigms
• Abductive logic programming
• Linear temporal logic
• Model checking
• Formal verification
• NuSMV
• Constraint programming
• Temporal logic
• Declarative programming
• Prolog
• Logic programming
• Entityrelationship model

Abductive Logic Programming for Datalog± ontologies Marco Gavanelli1 , Evelina Lamma1 , Fabrizio Riguzzi2 , Elena Bellodi1 , Riccardo Zese1 , and Giuseppe Cota1 1

Source URL: ceur-ws.org

2 1 On the Ethnographic Part of the Mix A Multi-Genre Tale of the Field

Source URL: www.ethknoworks.com

• Logic
• Humanities
• Anthropology
• Philosophy
• Ethnography
• Ethnology
• Abductive reasoning
• Field research
• Modal logic
• Logic programming
• Autoethnography
• Cyber-ethnography

Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop

Source URL: people.cs.uchicago.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming language semantics
• Abductive reasoning
• Charles Sanders Peirce
• Operational semantics
• ALGOL 68
• Algorithm
• Procedural programming languages
• Programming language theory
• Software engineering

Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science

Source URL: www.cs.ust.hk

• Predicate logic
• Model theory
• Quantification
• First-order logic
• Structure
• Integration by substitution
• FO
• Function
• Abductive logic programming
• Logic
• Mathematics
• Mathematical logic

Induction, Deduction, and Abduction for Program Design and Maintenance Ahmed Guessoum Jan Komorowski Knowledge Systems Group Department of Computer Systems and Telematics

Source URL: www.nik.no

• Reasoning
• Mathematical logic
• Theoretical computer science
• Logic programming
• Algorithm
• KeY
• Abductive reasoning
• Science
• Knowledge
• Logic

An Adaptive Logic-based Approach to Abduction in AI∗ (Preliminary Report) Tjerk Gauderis Centre for Logic and Philosophy of Science Ghent University, Belgium

Source URL: logica.ugent.be

• Non-classical logic
• Logical consequence
• Defeasible reasoning
• Non-monotonic logic
• Default logic
• Abductive reasoning
• Entailment
• First-order logic
• Inference
• Logic
• Reasoning
• Logic programming

From Logic Programming 22 July 99-AMAI

Source URL: www.doc.ic.ac.uk

• Declarative programming
• Constraint programming
• Reasoning
• Charles Sanders Peirce
• Epistemology
• Abductive logic programming
• Constraint logic programming
• Schedule
• Prolog
• Logic programming
• Software engineering
• Science

Problems with Abductive Language Understanding Models Peter Norvig Robert Wilensky
set of propositions with minimal cost that entails .

Source URL: www.norvig.com

• Science
• Epistemology
• Logic programming
• Interpretation
• Bayesian probability
• Abductive reasoning
• First-order logic
• Logic
• Model theory
• Philosophy

Appears in Abduction and Induction P. Flach and A. Kakas (Eds.), pp[removed], Kluwer Academic Publishers, 2000 Integrating Abduction and Induction in Machine Learning Raymond J. Mooney ([removed])

Source URL: www.cs.utexas.edu

• Knowledge
• Epistemology
• Charles Sanders Peirce
• Deduction
• Problem solving
• Abductive reasoning
• Inference
• Scientific method
• Logic programming
• Logic
• Science
• Reasoning