stavros's logic_programming [15 articles] Export

Recent papers added to stavros's library classified by the tag logic_programming. You can also see everyone's logic_programming.

Hide details

	Theory and Practice of Constraint Handling Rules [My Copy] Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138. by Thom Frühwirth edited by Marriot posted to ai csp logic_programming by stavros on 2006-06-15 03:54:02 as along with 1 person noormkhan
	The CLP(<inline-equation> <f> <sc>R</sc></f> </inline-equation> ) language and system [My Copy] ACM Trans. Program. Lang. Syst., Vol. 14, No. 3. (July 1992), pp. 339-395. by Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap posted to ai csp logic_programming by stavros on 2006-06-15 03:49:47 as
	Reasoning about actions with CHRs and finite domain constraints [My Copy] (2002) by M. Thielscher posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as
	The Well-Founded Semantics for General Logic Programs [My Copy] Journal of the ACM, Vol. 38, No. 3. (1991), pp. 620-650. by Allen van Gelder, Kenneth Ross, John S. Schlipf posted to logic logic_programming by stavros on 2006-04-08 23:28:32 as along with 1 person baisemain
	Complexity and Expressive Power of Logic Programming [My Copy] In IEEE Conference on Computational Complexity (1997), pp. 82-101. by Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov posted to complexity logic_programming theorem_proving by stavros on 2006-01-26 18:47:14 as along with 1 person florianfischer
	The DLV Project - A Disjunctive Datalog System (and more) [My Copy] http://www.dbai.tuwien.ac.at/proj/dlv/ (2005) by Nicola Leone, Gerald Pfeifer, Wolfgang Faber posted to answer_set depth logic_programming solver by stavros on 2005-11-30 22:30:39 as along with 1 person baisemain
	SMODELS Answer Set Solver [My Copy] http://www.tcs.hut.fi/Software/smodels/ (2004) by Patrik Simons posted to answer_set depth logic_programming solver by stavros on 2005-11-30 22:15:18 as along with 1 person baisemain
	Negation as Failure [My Copy] In Logic and Data Bases (1978), pp. 292-322. by Keith L. Clark edited by H. Gallaire, J. Minker posted to depth foundations logic logic_programming by stavros on 2005-11-30 02:26:27 as
	Logic Programming and Reasoning about actions [My Copy] In Handbook of Temporal reasoning in AI (2005) by C. Baral, M. Gelfond edited by Michael Fisher, Dov Gabbay, Lluis Vila posted to ai causality default depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-10-14 18:04:05 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
	Answer set programming and plan generation [My Copy] Artificial Intelligence, Vol. 138, No. 1-2. (2002), pp. 39-54. by Vladimir Lifschitz posted to ai answer_set depth logic logic_programming by stavros on 2005-09-20 23:21:29 as along with 1 person baisemain
	Classical Negation in Logic Programs and Disjunctive Databases [My Copy] New Generation Computing, Vol. 9, No. 3/4. (1991), pp. 365-386. by Michael Gelfond, Vladimir Lifschitz posted to answer_set depth incomplete_knowledge logic logic_programming by stavros on 2005-09-19 22:40:47 as along with 1 person baisemain
	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
	Reasoning Agents in Dynamic Domains [My Copy] In Workshop on Logic-Based Artificial Intelligence, Washington, DC, June 14--16, 1999 (1999) by Chitta Baral, Michael Gelfond edited by Jack Minker posted to agent ai control depth logic_programming narratives nonmonotonic reasoning_about_action by stavros on 2005-09-14 18:04:01 as
	Representing Actions: Laws, Observations and Hypotheses [My Copy] Journal of Logic Programming, Vol. 31, No. 1--3. (1997), pp. 201-243. by Chitta Baral, Michael Gelfond, Alessandro Provetti posted to ai depth logic logic_programming narratives nonmonotonic reasoning_about_action by stavros on 2005-09-14 18:03:59 as

Note: You may cite this page as: http://www.citeulike.org/user/stavros/tag/logic_programming

ai	157
logic	119
depth	110
reasoning_about_action	58
incomplete_knowledge	40
situation_calculus	40
games	29
foundations	26
theorem_proving	23
system	22
agent	21
planning	21
databases	20
frame_problem	17
logic_programming	15
golog	14
knowledge	11
complexity	10
robot	10
agent_oriented_programming	9
cogrobo	9
knowledge_compilation	8
nonmonotonic	8
theories_of_equality	8
progression	6
answer_set	5
architecture	5
fluent_calculus	5
narratives	5
sat	5
behavior	4
circumscription	4
common_sense	4
default	4
implicit_belief	4
nondeterminism	4
causality	3
congurence_closure	3
control	3
csp	3
general_game_playing	3
inconsistent_databases	3
resolution	3
wumpus	3
competition	2
diagnosis	2
event_calculus	2
execution_monitoring	2
flux	2
indexicals	2
mdp	2
pddl	2
reasoning	2
softbots	2
solver	2
testbed	2
3apl	1
about_action	1
agetn	1
animation	1
approximate_reasoning	1
bdd	1
dabases	1
developmental_robotics	1
es	1
feature_extraction	1
features_and_fluents	1
gdl	1
google	1
graph_theory	1
halo	1
information_theory	1
interval	1
learning	1
limited_beliefs	1
linguistics	1
logi	1
logical_filtering	1
manual	1
math	1
possible_values	1
proceedings	1
programming_language	1
psycology	1
ramifications	1
sensing	1
software_engineering	1
term_indexing	1
theory_approximation	1
tmp	1
treewidth	1
undecidability	1
web_services	1

stavros's logic_programming [15 articles] Export

stavros's tags