stavros's databases [20 articles] Export

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

	OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications [My Copy] In Proceedings of 5th International Conference on Database and Expert Systems Applications (DEXA'94), Vol. 856 (1994), pp. 641-650. by Elsa L. Gunter, Leonid Libkin edited by D. Karagiannis posted to databases incomplete_knowledge by stavros on 2008-02-12 19:49:45 as
	Scaling Up Reasoning About Actions Using Relational Database Technology [My Copy] by Giuseppe De Giacomo posted to ai databases logic reasoning_about_action by stavros on 2008-01-24 17:20:41 as along with 1 person rfk
	STRIPS: A new approach to the application of theorem proving to problem solving [My Copy] Artificial Intelligence, Vol. 2 (1971), pp. 189-208. by R. Fikes, N. Nilsson posted to databases foundations reasoning_about_action by stavros on 2007-11-23 00:49:12 as
	Maintaining transitive closure of graphs in SQL [My Copy] Int. Journal of Information Technology by Guozhu Dong, Leonid Libkin, Jianwen Su, Limsoon Wong posted to databases by stavros on 2007-11-05 18:21:38 as
	Minimal-change integrity maintenance using tuple deletions [My Copy] Inf. Comput., Vol. 197, No. 1/2. (2005), pp. 90-121. by Jan Chomicki, Jerzy Marcinkowski posted to databases inconsistent_databases by stavros on 2007-03-26 10:02:02 as along with 1 person fsautomata
	Consistent query answers in inconsistent databases [My Copy] In PODS '99: Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (1999), pp. 68-79. by Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki posted to databases inconsistent_databases by stavros on 2007-03-26 04:03:01 as along with 2 people anonyox fsautomata
	ConQuer: efficient management of inconsistent databases [My Copy] In SIGMOD '05: Proceedings of the 2005 ACM SIGMOD international conference on Management of data (2005), pp. 155-166. by Ariel Fuxman, Elham Fazli, Ren&\#233;e J. Miller posted to databases inconsistent_databases by stavros on 2007-03-26 01:55:57 as along with 1 person mogwaing
	10(106) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information [My Copy] (2006) by Lyublena Antova, Christoph Koch, Dan Olteanu posted to databases incomplete_knowledge possible_values by stavros on 2006-10-02 14:51:21 as
	Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width [My Copy] J. Comput. Syst. Sci., Vol. 66, No. 4. (June 2003), pp. 775-808. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted to databases by stavros on 2006-06-29 02:32:41 as along with 1 person masteraka
	Modal languages and bounded fragments of predicate logic [My Copy] (1998) by H. Andr, Istv, Emeti, J. van Benthem posted to databases by stavros on 2006-06-29 02:26:43 as
	Foundations of Databases : The Logical Level [My Copy] (22 November 1994) by Serge Abiteboul, Richard Hull, Victor Vianu posted to databases by stavros on 2006-06-28 03:20:56 as along with 2 people masteraka fsautomata
	$10^10^6$ Worlds and Beyond: Efficient Representation and Processing of Incomplete Information [My Copy] (2006) by Lyublena Antova, Christoph Koch, Dan Olteanu posted to ai databases incomplete_knowledge by stavros on 2006-05-15 04:25:13 as
	Obtaining Complete Answers from Incomplete Databases [My Copy] In The VLDB Journal (1996), pp. 402-412. by Alon Y. Levy posted to databases incomplete_knowledge by stavros on 2006-04-11 19:44:20 as
	On the complexity of bounded-variable queries (extended abstract) [My Copy] In PODS '95: Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1995), pp. 266-276. by Moshe Y. Vardi posted to complexity databases by stavros on 2006-02-08 22:29:46 as
	Tractable Reasoning in Incomplete First-Order Knowledge Bases [My Copy] (2006) by Yongmei Liu posted to ai complexity databases incomplete_knowledge logic reasoning_about_action situation_calculus by stavros on 2006-02-07 23:37:29 as
	A knowledge-based approach to planning with incomplete information and sensing [My Copy] In Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS-2002) (April 2002), pp. 212-221. by Ronald P. A. Petrick, Fahiem Bacchus edited by Malik Ghallab, Joachim Hertzberg, Paolo Traverso posted to ai databases depth reasoning_about_action system by stavros on 2005-09-22 00:37:39 as
	Incomplete Information in Relational Databases [My Copy] J. ACM, Vol. 31, No. 4. (October 1984), pp. 761-791. by Tomasz Imielinski, Witold Lipski posted to ai databases foundations incomplete_knowledge logic by stavros on 2005-09-22 00:30:47 as along with 2 people and 1 group jog fsautomata WebTech
	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving [My Copy] Artificial Intelligence, Vol. 2 (1971), pp. 189-208. by R. E. Fikes, N. J. Nilsson posted to ai databases depth foundations frame_problem reasoning_about_action by stavros on 2005-09-22 00:00:50 as
	Evaluation-based reasoning with disjunctive information in first-order knowledge bases [My Copy] In Proceedings of KR-2002, Eighth International Conference on Principles of Knowledge Representation and Reasoning (2002) by Gerhard Lakemeyer, Hector J. Levesque posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:40:04 as
	A completeness result for reasoning with incomplete first-order knowledge bases [My Copy] In Proceedings of KR-1998, Sixth International Conference on Principles of Knowledge Representation and Reasoning (June 1998) by H. J. Levesque posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:21:17 as

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

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 databases [20 articles] Export

stavros's tags