Tag logic_programming [33 articles] Export

Recent papers classified by the tag logic_programming.

	Turning Inductive into Equational Specifications [My Copy] Theorem Proving in Higher Order Logics (2009), pp. 131-146. by Stefan Berghofer, Lukas Bulwahn, Florian Haftmann posted to theorem_proving mode_analysis logic_programming isabelle interactive_theorem_proving functional_programming execution_of_specifications by bulwahn on 2009-11-27 15:03:34 as
	Mechanized metatheory model-checking [My Copy] In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 75-86. by James Cheney, Alberto Momigliano posted to model_finding logic_programming by bulwahn on 2009-11-20 13:04:33 as along with 1 person sebfisch
	Constraint Functional Logic Programming over Finite Domains [My Copy] (16 Jan 2006) by Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez, Rafael D. Vado-Virseda posted to logic_programming functional_logic_programming finite_domain_constraints by bulwahn on 2009-10-21 08:49:23 as
	Negation in logic programming [My Copy] J. Log. Program., Vol. 4, No. 4. (1987), pp. 289-308. by Kenneth Kunen posted to negation logic_programming by bulwahn on 2009-10-20 10:16:38 as
	A kripke-kleene semantics for logic programs [My Copy] The Journal of Logic Programming, Vol. 2, No. 4. (December 1985), pp. 295-312. by M. Fitting posted to three_valued_logic logic_programming by bulwahn on 2009-10-20 10:04:42 as
	A Kripke-Kleene logic over general logic programs [My Copy] KI-94: Advances in Artificial Intelligence (1994), pp. 70-81. by Vladimir Kuznetsov posted to three_valued_logic logic_programming by bulwahn on 2009-10-20 09:37:51 as
	Uniform proofs as a foundation for logic programming [My Copy] Annals of Pure and Applied Logic, Vol. 51, No. 1-2. (14 March 1991), pp. 125-157. by D. Miller, G. Nadathur, F. Pfenning, A. Scedrov posted to proof_search logic_programming by robotact on 2009-10-09 14:31:27 as along with 1 person robertjohnsimmons
	Communication as fair distribution of knowledge [My Copy] In OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications (1991), pp. 212-229. by Jean M. Andreoli, Remo Pareschi posted to proof_search logic_programming linear_objects linear_logic by robotact on 2009-09-25 14:17:44 as
	The Use of a Logic Programming Language in the Animation of Z Specifications [My Copy] Logic Programming (2007), pp. 451-452. by Margaret West posted to logic_programming execution_of_specifications by bulwahn on 2009-09-24 14:57:21 as
	Signed data dependencies in logic programs [My Copy] The Journal of Logic Programming, Vol. 7, No. 3. (November 1989), pp. 231-245. by K. Kunen posted to sldnf logic_programming by bulwahn on 2009-09-24 10:19:38 as
	A direct proof of the completeness of SLDNF-resolution [My Copy] Journal of Logic and Computation (February 1999), pp. 47-61. by R. Stark posted to sldnf logic_programming by bulwahn on 2009-09-24 10:01:51 as
	A New Definition of SLDNF-resolution [My Copy] (1992) by Krzysztof R. Apt, Kees Doets posted to sldnf logic_programming by bulwahn on 2009-09-24 09:55:47 as
	Constraint-based mode analysis of mercury [My Copy] In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 109-120. by David Overton, Zoltan Somogyi, Peter J. Stuckey posted to mode_analysis mercury logic_programming by bulwahn on 2009-08-12 10:28:54 as
	Input/output Dependencies of Normal Logic Programs [My Copy] Journal of Logic and Computation, Vol. 4, No. 3. (1994), pp. 249-262. by Robert F. Stärk posted to logic_programming mode_analysis by bulwahn on 2009-07-15 09:23:44 as
	Mode and Termination Checking for Higher-Order Logic Programs [My Copy] In ESOP '96: Proceedings of the 6th European Symposium on Programming Languages and Systems (1996), pp. 296-310. by Ekkehard Rohwedder, Frank Pfenning posted to logic_programming mode_analysis by bulwahn on 2009-06-24 16:19:31 as
	Transforming acyclic programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 4. (1994), pp. 1081-1096. by Annalisa Bossi, Sandro Etalle posted to logic_programming mylib prolog by aristodemos on 2009-06-15 00:58:47 as
	Automatic mode inference for logic programs [My Copy] J. Log. Program., Vol. 5, No. 3. (1988), pp. 207-229. by Saumya K. Debray, David S. Warren posted to logic_programming mode_analysis by bulwahn on 2009-06-04 11:26:42 as
	Static Inference of Modes and Data Dependencies in Logic Programs [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 11 (1989), pp. 418-450. by Saumya K. Debray posted to diploma_thesis logic_programming by bulwahn on 2009-05-27 20:42:41 as
	Ultimate-Definite and Symmetric-Definite Events and Automata [My Copy] J. ACM, Vol. 12, No. 3. (1965), pp. 399-410. by A. Paz, B. Peleg posted to automata logic_programming www by fer on 2009-03-11 10:48:04 as
	A NOVEL COMBINATION OF ANSWER SET PROGRAMMING WITH DESCRIPTION LOGICS FOR THE SEMANTIC WEB [My Copy] (2006) by Ab W. Systeme, Thomas Lukasiewicz, Thomas Lukasiewicz posted to description_logic logic_programming by pewu on 2008-11-14 12:05:40 as
	Abductive Logic Programming [My Copy] Journal of Logic and Computation, Vol. 2, No. 6. (1992), pp. 719-770. by Antonis C. Kakas, Robert A. Kowalski, Francesca Toni posted to ab abduction logic_programming by bfraser on 2007-10-03 03:45:39 as along with 1 person chasmand
	Verifying security protocols as planning in logic programming [My Copy] ACM Trans. Comput. Logic, Vol. 2, No. 4. (October 2001), pp. 542-580. by Luigia C. Aiello, Fabio Massacci posted to logic_programming security verification by bfraser on 2007-08-02 19:57:49 as
	Description logic programs: combining logic programs with description logic [My Copy] In WWW '03: Proceedings of the 12th international conference on World Wide Web (2003), pp. 48-57. by Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker posted to owl logic_programming description_logic decidability by pchampin on 2007-01-12 14:23:05 as along with 2 people fraktalek fer
	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
	A refinement calculus for logic programs [My Copy] Theory Pract. Log. Program., Vol. 2, No. 4. (July 2002), pp. 425-460. by Ian Hayes, Robert Colvin, David Hemer, Paul Strooper, Ray Nickson posted to logic_programming refinement_calculus by CLLC on 2006-03-27 10:26:15 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
	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

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

ai	6
logic	6
mode_analysis	5
depth	4
answer_set	3
reasoning_about_action	3
sldnf	3
csp	2
description_logic	2
execution_of_specifications	2
incomplete_knowledge	2
nonmonotonic	2
proof_search	2
theorem_proving	2
three_valued_logic	2
ab	1
abduction	1
automata	1
complexity	1
decidability	1
diploma_thesis	1
finite_domain_constraints	1
frame_problem	1
functional_logic_programming	1
functional_programming	1
interactive_theorem_proving	1
isabelle	1
linear_logic	1
linear_objects	1
mercury	1
model_finding	1
mylib	1
negation	1
nondeterminism	1
owl	1
prolog	1
refinement_calculus	1
security	1
system	1
verification	1
www	1

Tag logic_programming [33 articles] Export

Related Tags