stavros's theorem_proving [23 articles] Export

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

Hide details

	The design and implementation of VAMPIRE [My Copy] AI Commun., Vol. 15, No. 2. (September 2002), pp. 91-110. by Alexandre Riazanov, Andrei Voronkov posted to ai logic system theorem_proving by stavros on 2006-05-15 01:16:10 as
	Approximate reasoning and non-omniscient agents [My Copy] In TARK '92: Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge (1992), pp. 169-183. by Marco Cadoli, Marco Schaerf posted to ai approximate_reasoning implicit_belief incomplete_knowledge logic theorem_proving by stavros on 2006-05-03 05:31:58 as
	Generalizing Boolean satisfiability II: Theory [My Copy] Journal of Artificial Intelligence Research, Vol. 22 (2004), pp. 481-532. by Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes posted to ai logic sat theorem_proving by stavros on 2006-03-28 19:02:13 as
	Generalizing Boolean satisfiability I: Background and existing work [My Copy] Journal of Artificial Intelligence Research, Vol. 21 (2004), pp. 193-243. by Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes posted to ai logic sat theorem_proving by stavros on 2006-03-23 17:09:12 as
	Practical Partition-Based Theorem Proving for Large Knowledge Bases [My Copy] In International Joint Conference on Artificial Intelligence (IJCAI03) by Bill Maccartney, Sheila Mcilraith, Eyal Amir, Tomas E. Uribe posted to logic resolution theorem_proving by stavros on 2006-03-16 01:51:00 as
	Resolution versus Search: Two Strategies for SAT [My Copy] Journal of Automated Reasoning, Vol. 24, No. 1/2. (2000), pp. 225-275. by Irina Rish, Rina Dechter posted to knowledge_compilation logic resolution theorem_proving by stavros on 2006-03-16 01:35:25 as
	A Survey on Knowledge Compilation [My Copy] AI Communications, Vol. 10, No. 3-4. (1997), pp. 137-150. by Marco Cadoli, Francesco M. Donini posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-08 17:30:55 as along with 1 person knowledge01
	Tractable Reasoning via Approximation [My Copy] Artificial Intelligence, Vol. 74, No. 2. (1995), pp. 249-310. by Marco Schaerf, Marco Cadoli posted to logic theorem_proving theory_approximation by stavros on 2006-03-07 22:41:35 as
	A knowledge compilation map [My Copy] (2002) by A. Darwiche, P. Marquis posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-02 18:00:19 as
	Knowledge compilation and theory approximation [My Copy] Journal of the ACM, Vol. 43, No. 2. (1996), pp. 193-224. by Bart Selman, Henry Kautz posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-01 22:15:22 as along with 2 people knowledge01 simon_o
	Approximate Knowledge Compilation: The First Order Case [My Copy] In AAAI/IAAI, Vol. 1 (1996), pp. 498-503. by Alvaro D. Val posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-01 22:13:15 as
	Binary decision diagrams for first-order predicate logic [My Copy] Journal of Logic and Algebraic Programming, Vol. 57, No. 1-2. ( 2003), pp. 1-22. by Friso, Olga Tveretina posted to bdd logic theorem_proving by stavros on 2006-02-04 01:59:24 as
	Theorem proving with equality [My Copy] (2005) by Lecture posted to logic theorem_proving theories_of_equality by stavros on 2006-02-04 00:05:45 as
	Automated theorem proving in classical logic (slides) [My Copy] by Andrei Voronkov posted to logic resolution theorem_proving by stavros on 2006-02-04 00:01:36 as
	Term indexing techniques for automated reasoning (Invited talk) [My Copy] In Eighth Workshop on Automated Reasoning (March 2001) by Robert Nieuwenhuis posted to term_indexing theorem_proving by stavros on 2006-02-03 23:41:08 as
	Implementing an Efficient Theorem Prover [My Copy] (2003) by Alexandre Riazanov posted to logic theorem_proving by stavros on 2006-02-01 18:00:01 as along with 1 person and 1 group JacquesC NU-PRL
	FDPLL -- A First-Order Davis-Putnam-Logeman-Loveland Procedure [My Copy] In CADE-17 -- The 17th International Conference on Automated Deduction, Vol. 1831 (2000), pp. 200-219. by Peter Baumgartner edited by David Mcallester posted to logic theorem_proving by stavros on 2006-01-30 21:21:07 as
	Pebblings, edgings, and equational logic [My Copy] In STOC '84: Proceedings of the sixteenth annual ACM symposium on Theory of computing (1984), pp. 428-435. by Dexter Kozen posted to complexity logic theorem_proving theories_of_equality by stavros on 2006-01-30 18:30:10 as
	Congruence Closure with Integer Offsets [My Copy] In 10h Int. Conf. Logic for Programming, Artif. Intell. and Reasoning (LPAR) (2003), pp. 78-90. by R. Nieuwenhuis, A. Oliveras edited by M. Vardi, A. Voronkov posted to congurence_closure logic theorem_proving theories_of_equality by stavros on 2006-01-30 17:34:20 as
	Abstract congruence closure [My Copy] J. of Automated Reasoning, Vol. 31, No. 2. (2003), pp. 129-168. by Leo Bachmair, Ashish Tiwari, Laurent Vigneron posted to congurence_closure logic theorem_proving theories_of_equality by stavros on 2006-01-30 17:29:48 as
	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
	On the complexity of equational problems in CNF [My Copy] J. Symb. Comput., Vol. 36, No. 1-2. (2003), pp. 235-269. by Reinhard Pichler posted to logic theorem_proving theories_of_equality by stavros on 2006-01-24 04:16:23 as
	Completeness of Linear Refutation for Theories with Equality [My Copy] J. ACM, Vol. 18, No. 1. (January 1971), pp. 126-136. by C. L. Chang, J. R. Slagle posted to foundations logic theorem_proving theories_of_equality by stavros on 2006-01-17 23:56:27 as

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

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 theorem_proving [23 articles] Export

stavros's tags