Tag nonmonotonic [35 articles] Export

Recent papers classified by the tag nonmonotonic.

	A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection [My Copy] Studia Logica, Vol. 58, No. 1. (21 January 1997), pp. 113-127. by Anna Gomolińska posted to nonmonotonic epistemic_logic denial by MichaelDe on 2009-10-03 19:42:52 as
	On the Logic of Acceptance and Rejection [My Copy] Studia Logica, Vol. 60, No. 2. (1 March 1998), pp. 233-251. by Anna Gomolińska posted to nonmonotonic epistemic_logic denial by MichaelDe on 2009-10-03 19:40:44 as
	Induction from answer sets in nonmonotonic logic programs [My Copy] ACM Trans. Comput. Logic, Vol. 6, No. 2. (April 2005), pp. 203-231. by Chiaki Sakama posted to answer-set induction logic-programming nonmonotonic by baisemain on 2009-07-16 13:59:18 as along with 1 person venkys_home
	A Survey of Complexity Results for Non-monotonic Logics [My Copy] Journal of Logic Programming, Vol. 17 (1993), pp. 127-160. by Marco Cadoli, Marco Schaerf posted to complexity nonmonotonic by pablotrinidad on 2008-10-23 17:47:28 as
	A logic for default reasoning [My Copy] Artificial Intelligence, Vol. 13, No. 1-2. (1980), pp. 81-132. by Ray Reiter posted to default logic nonmonotonic reasoning bowiki-eccb by leechuck on 2007-10-25 14:42:05 as along with 1 person bfraser
	Representing default knowledge in biomedical ontologies: Application to the integration of anatomy and phenotype ontologies [My Copy] BMC Bioinformatics, Vol. 8, No. 1. (2007) by Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre posted to anatomy integration logic mouse nonmonotonic ontology pato phenotype by leechuck on 2007-10-09 13:10:36 as along with 5 people and 1 group guhjy dullhunk PunkRock sobolevnrm mircea baker-group
	Nonmonotonic logic and temporal projection [My Copy] Artif. Intell., Vol. 33, No. 3. (November 1987), pp. 379-412. by S. Hanks, D. Mcdermott posted to logic nonmonotonic by bfraser on 2007-09-28 19:54:20 as
	Nonmonotonic logic programming [My Copy] Knowledge and Data Engineering, IEEE Transactions on In Knowledge and Data Engineering, IEEE Transactions on, Vol. 11, No. 1. (1999), pp. 143-152. by V. S. Subrahmanian posted to lp nonmonotonic by bfraser on 2007-09-20 21:29:40 as
	A Dichotomy in the Complexity of Propositional Circumscription [My Copy] Theory of Computing Systems, Vol. 37, No. 6. (December 2004), pp. 695-715. by Kirousis, M. Lefteris, Kolaitis, G. Phokion posted to nonmonotonic by bfraser on 2007-09-20 21:27:45 as
	On the Complexity of Model Checking and Inference in Minimal Models [My Copy] Logic Programming and Nonmonotonic Reasoning (2001), 42. by Lefteris M. Kirousis, Phokion G. Kolaitis posted to lp model_checking nonmonotonic by bfraser on 2007-09-20 21:25:15 as
	Curvilinear paths and trust region methods with nonmonotonic back tracking technique for unconstrained optimization [My Copy] J Comput Math, Vol. 19, No. 3. (2001), pp. 241-258. by D. T. Zhu posted to curvilinear nonmonotonic optimization region trust unconstrained by dilbert on 2007-08-28 10:24:33 as along with 1 group SORG
	Nonmonotonic Reasoning [My Copy] (04 April 1997) by Grigoris Antoniou posted to logic nonmonotonic tao by leechuck on 2007-08-10 13:54:25 as along with 2 people BarrosH nmaudet
	Implementing deductive databases by mixed integer programming [My Copy] ACM Trans. Database Syst., Vol. 21, No. 2. (June 1996), pp. 238-269. by Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian posted to logic nonmonotonic prolog by bfraser on 2007-08-02 19:14:40 as
	How Hard is it to Revise a Belief Base? [My Copy] In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 3: Belief Change (1998), pp. 77-145. by Bernhard Nebel edited by Didier Dubois, Henri Prade posted to nonmonotonic by bfraser on 2007-07-31 19:36:44 as
	Applications of Circumscription to Formalizing Common Sense Knowledge [My Copy] In Formalizing Common Sense: Papers by John McCarthy (1990), pp. 198-225. by John Mccarthy edited by Vladimir Lifschitz posted to circumscription common_sense nonmonotonic by bfraser on 2007-05-28 23:22:55 as along with 1 person jaro
	Autoepistemic logic [My Copy] J. ACM, Vol. 38, No. 3. (July 1991), pp. 587-618. by Wiktor Marek, Miroslaw Truszczynski posted to nonmonotonic by bfraser on 2007-05-23 21:17:23 as
	A tutorial on default logics [My Copy] ACM Comput. Surv., Vol. 31, No. 4. (December 1999), pp. 337-359. by Grigoris Antoniou posted to default_reasoning nonmonotonic reasoning by bfraser on 2007-05-22 20:32:46 as along with 2 people y-gotoh dilger
	Aspects and modular reasoning in nonmonotonic logic [My Copy] In FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (2007), pp. 59-64. by Klaus Ostermann posted to aosd logic modular nonmonotonic by bfraser on 2007-05-18 23:03:03 as
	An Abstract, Argumentation-Theoretic Approach to Default Reasoning [My Copy] Artificial Intelligence, Vol. 93 (1997), pp. 63-101. by Andrei Bondarenko, Phan M. Dung, Robert A. Kowalski, Francesca Toni posted to nonmonotonic inference default-reasoning argumentation-theory by scis0000001 on 2007-02-11 17:33:49 as along with 1 person network01
	Situated Nonmonotonic Temporal Reasoning with BABY-SIT [My Copy] AI Communications, Vol. 10, No. 2. (1997), pp. 93-109. by Erkan Tin, Varol Akman posted to temporal situation-theory situated nonmonotonic inference by scis0000001 on 2007-02-04 14:41:48 as
	Default Reasoning over Domains and Concept Hierarchies [My Copy] by P. Hitzler posted to closure-structures default-reasoning domains hierarchy inference information-system kb logical-information-system logics lp nonmonotonic by scis0000001 on 2007-02-01 17:20:31 as
	Hardware Implementation of Temporal Nonmonotonic Logics [My Copy] : AI 2006: Advances in Artificial Intelligence (2006), pp. 808-817. by Insu Song, Guido Governatori posted to temporal-logic situated nonmonotonic metric-temporal-logic hardware digital-circuits circuitry chu-space automata by scis0000001 on 2007-02-01 16:50:19 as
	Nonmonotonic Inductive Logic Programming [My Copy] Lecture Notes in Computer Science, Vol. 2173 (2001), pp. 62-??. by Chiaki Sakama posted to ilp nonmonotonic nonmonotonicity by scis0000001 on 2007-01-25 14:12:27 as
	Non-monotonic learning [My Copy] In Machine Intelligence~12 (1991), pp. 105-119. by M. Bain, S. H. Muggleton edited by J. E. Hayes, Donald Michie, E. Tyugu posted to nonmonotonic ilp by scis0000001 on 2007-01-25 14:07:48 as
	Nonmonotonic Logics and Semantics [My Copy] Journal of Logic and Computation, Vol. 11 (2) (2001), pp. 229-256. by D. Lehmann posted to semantics nonmonotonic logics by scis0000001 on 2007-01-16 09:31:23 as
	Tabling for Non-Monotonic Programming [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 25, No. 3-4. (1999), pp. 201-240. by Terrance Swift posted to logic-programming nonmonotonic wfs by mahler on 2005-11-06 23:27:24 as along with 1 group Rightscom
	Using Tabling to Extend Prolog with Non-Monotonic Constructs [My Copy] by Terrance Swift posted to logic-programming nonmonotonic tabling xsb by mahler to the group Rightscom on 2005-11-06 23:06:13 as
	A unifying view for logic programming with non-monotonic reasoning [My Copy] Theoretical Computer Science, Vol. 184, No. 1--2. (1997), pp. 1-59. by Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello posted to logic-programming nonmonotonic by mahler to the group Rightscom on 2005-11-06 21:46:39 as
	A survey of paraconsistent semantics for logic programas [My Copy] (1998) by C. Dam'asio, L. Pereira posted to logic-programming nonmonotonic wfs wfsx by mahler on 2005-11-06 21:45:11 as along with 1 group Rightscom
	A Logic Programming System for Nonmonotonic Reasoning [My Copy] Journal of Automated Reasoning, Vol. 14, No. 1. (1995), pp. 93-147. by Jose J. Alferes, Carlos V. Damasio, Luis M. Pereira posted to wfsx explicit-negation logic-programming nonmonotonic wfs by mahler on 2005-11-06 21:39:57 as along with 1 group Rightscom
	Non-Monotonic Reasoning with Logic Programming [My Copy] Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 227-263. by Luis M. Pereira, Joaquim N. Aparicio, Jose J. Alferes posted to explicit-negation logic-programming nonmonotonic wfs wfsx by mahler to the group Rightscom on 2005-11-06 21:26:04 as
	Reasoning about Actions: Non-deterministic Effects, Constraints, and Qualification [My Copy] In Extending Theories of Action: Formal Theory & Practical Applications: Papers from the 1995 AAAI Spring Symposium (1995), pp. 10-16. by Chitta Baral, Michael Gelfond, Richard Watson posted to ai depth logic logic_programming nondeterminism nonmonotonic reasoning_about_action by stavros on 2005-10-13 07:59:10 as
	Formalizing Narratives Using Nested Circumscription [My Copy] In Working Papers: Common Sense '96 (1996), pp. 15-24. by Chitta Baral, Alfredo Gabaldon, Alessandro Provetti edited by Sasa Buvac, Tom Costello posted to ai circumscription default depth narratives nonmonotonic reasoning_about_action situation_calculus by stavros on 2005-09-23 23:33:55 as along with 1 person p2p01
	A Causal Theory of Ramifications and Qualifications [My Copy] In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (1995), pp. 1978-1984. by Norman Mccain, Hudson Turner edited by Chris Mellish posted to causality depth nonmonotonic ramifications reasoning_about_action by stavros on 2005-09-21 07:28:43 as
	Representing Action and Change by Logic Programs [My Copy] Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 301-321. by Michael Gelfond, Vladimir Lifschitz posted to ai answer_set depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-09-16 19:41:56 as

Note: You may cite this page as: http://www.citeulike.org/tag/nonmonotonic

logic-programming	13
logic	10
wfs	8
wfsx	6
depth	4
explicit-negation	4
reasoning_about_action	4
ai	3
inference	3
lp	3
reasoning	3
circumscription	2
curvilinear	2
default	2
default-reasoning	2
default_reasoning	2
denial	2
epistemic_logic	2
ilp	2
logic_programming	2
logics	2
optimization	2
region	2
situated	2
tabling	2
trust	2
unconstrained	2
xsb	2
abduction	1
anatomy	1
answer-set	1
answer_set	1
aosd	1
argumentation-theory	1
automata	1
bowiki-eccb	1
causality	1
chu-space	1
circuitry	1
closure-structures	1
common_sense	1
complexity	1
digital-circuits	1
domains	1
frame_problem	1
hardware	1
hierarchy	1
incomplete_knowledge	1
induction	1
information-system	1
integration	1
kb	1
logical-information-system	1
metric-temporal-logic	1
model_checking	1
modular	1
mouse	1
narratives	1
nondeterminism	1
nonmonotonicity	1
ontology	1
pato	1
phenotype	1
prolog	1
ramifications	1
semantics	1
situation-theory	1
situation_calculus	1
tao	1
temporal	1
temporal-logic	1

Tag nonmonotonic [35 articles] Export

Related Tags