Negation as failure - PDFSEARCH.IO - Document Search Engine

Negation as failure
Results: 15

#	Item
1	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-17 20:33:04 Logic programming Mathematical logic Theoretical computer science Logic Order theory Model theory Stable model semantics Path ordering Negation as failure FO
2	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence
3	Learn Prolog Now! Patrick Blackburn Johan Bos Kristina Striegnitz Add to Reading List Source URL: www.dbnet.ece.ntua.gr Language: English - Date: 2005-03-06 20:01:27 Prolog Definite clause grammar Logic programming Inference Negation as failure Append Fril Prolog syntax and semantics Software engineering Computing Computer programming
4	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
5	15 Alice: Sergio: Alice: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Semantics Datalog Logic programming Rules of inference Stratification Negation as failure Negation Transitive closure Model theory Logic Mathematics Mathematical logic
6	Nonmonotonic Description Logic Programs: Implementation and Experiments ? Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits Institut f¨ur Informationssysteme, Technische Universit¨at Wien Favorite Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2005-12-22 16:05:26 Mathematical logic Non-classical logic Semantic Web Reasoning Knowledge representation Stable model semantics Description logic Modal logic Negation as failure Logic Logic programming Science
7	c 2003 Cambridge University Press TLP 3 (4 & 5): 393–424, 2003. 393 DOI: [removed]S1471068403001832 Printed in the United Kingdom Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:01 Artificial intelligence Stable model semantics Answer set programming Database SQL Negation as failure Logic programming Data management Computing
8	TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-17 10:05:08 Model theory Logic programming Boolean algebra Propositional calculus Stable model semantics Interpretation First-order logic If and only if Negation as failure Logic Mathematical logic Mathematics
9	Fuzzy Answer Set Programming Davy Van Nieuwenborgh1,⋆ , Martine De Cock2 , and Dirk Vermeir1 1 Vrije Universiteit Brussel, VUB Dept. of Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2006-07-03 14:04:14 Logic programming Semantics Artificial intelligence Logic in computer science Stable model semantics Negation as failure Constructible universe Answer set programming T-norm Logic Mathematical logic Fuzzy logic
10	Ann Math Artif Intell[removed]:363–388 DOI[removed]s10472[removed]An introduction to fuzzy answer set programming Davy Van Nieuwenborgh · Martine De Cock · Dirk Vermeir Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2007-11-16 12:32:25 Mathematics Logic programming Logic in computer science Artificial intelligence Rules of inference Negation as failure Stable model semantics T-norm Interpretation Logic Mathematical logic Fuzzy logic