## The Journal of Logic Programming

 Short Title: J. Log. Program. Publisher: Elsevier Science Publishing Co., Inc. (North-Holland), New York ISSN: 0743-1066 Successor: The Journal of Logic and Algebraic Programming Comments: No longer indexed
 Documents Indexed: 456 Publications (1984–2000)
all top 5

### Latest Issues

 46, No. 1-2 (2000) 45, No. 1-3 (2000) 44, No. 1-3 (2000) 43, No. 3 (2000) 43, No. 2 (2000) 43, No. 1 (2000) 42, No. 3 (2000) 42, No. 2 (2000) 42, No. 1 (2000) 41, No. 2-3 (1999) 41, No. 1 (1999) 40, No. 2-3 (1999) 40, No. 1 (1999) 39, No. 1-3 (1999) 38, No. 3 (1999) 38, No. 2 (1999) 38, No. 1 (1999) 37, No. 1-3 (1998) 36, No. 3 (1998) 36, No. 2 (1998) 36, No. 1 (1998) 35, No. 3 (1998) 35, No. 2 (1998) 35, No. 1 (1998) 34, No. 3 (1998) 34, No. 2 (1998) 34, No. 1 (1998) 33, No. 3 (1997) 33, No. 2 (1997) 33, No. 1 (1997) 32, No. 3 (1997) 32, No. 2 (1997) 32, No. 1 (1997) 31, No. 1-3 (1997) 30, No. 3 (1997) 30, No. 2 (1997) 30, No. 1 (1997) 29, No. 1-3 (1996) 28, No. 3 (1996) 28, No. 2 (1996) 28, No. 1 (1996) 27, No. 3 (1996) 27, No. 2 (1996) 27, No. 1 (1996) 26, No. 3 (1996) 26, No. 2 (1996) 26, No. 1 (1996) 25, No. 3 (1995) 25, No. 2 (1995) 25, No. 1 (1995) 24, No. 3 (1995) 24, No. 1-2 (1995) 23, No. 3 (1995) 23, No. 2 (1995) 23, No. 1 (1995) 22, No. 3 (1995) 22, No. 2 (1995) 22, No. 1 (1995) 21, No. 3 (1994) 21, No. 2 (1994) 21, No. 1 (1994) 19-20 (1994) 18, No. 3 (1994) 18, No. 2 (1994) 18, No. 1 (1994) 17, No. 2-4 (1993) 17, No. 1 (1993) 16, No. 3-4 (1993) 16, No. 1-2 (1993) 15, No. 4 (1993) 15, No. 3 (1993) 15, No. 1-2 (1993) 14, No. 3-4 (1992) 14, No. 1-2 (1992) 13, No. 4 (1992) 13, No. 2-3 (1992) 13, No. 1 (1992) 12, No. 3 (1992) 12, No. 1-2 (1992) 11, No. 3-4 (1991) 11, No. 2 (1991) 11, No. 1 (1991) 10, No. 3-4 (1991) 10, No. 2 (1991) 10, No. 1 (1991) 9, No. 2-3 (1990) 9, No. 1 (1990) 8, No. 3 (1990) 8, No. 1-2 (1990) 7, No. 3 (1989) 7, No. 1 (1989) 6, No. 3 (1989) 6, No. 1-2 (1989) 5, No. 4 (1988) 5, No. 3 (1988) 5, No. 2 (1988) 5, No. 1 (1988) 4 (1987) 3 (1986) 2 (1985)
all top 5

### Authors

 10 Codish, Michael 9 De Schreye, Danny 7 Debray, Saumya K. 7 Lloyd, John Wylie 7 Marriott, Kim 7 Stuckey, Peter James 7 Van Hentenryck, Pascal 7 Warren, David Scott 6 Chen, Weidong 6 Cortesi, Agostino 6 Fitting, Melvin Chris 6 Ramakrishnan, Raghu 5 Baral, Chitta R. 5 Bossi, Annalisa 5 Bruynooghe, Maurice 5 Gelfond, Michael 5 Hermenegildo, Manuel V. 5 Jayaraman, Bharat 5 Minker, Jack 5 Pedreschi, Dino 5 Shepherdson, John C. 5 van Emden, Maarten H. 5 Van Gelder, Allen 4 Bol, Roland N. 4 Denecker, Marc 4 Deville, Yves 4 Dix, Jurgen 4 Gabbay, Dov M. 4 Giordano, Laura 4 Inoue, Katsumi 4 Jaffar, Joxan 4 Kakas, Antonis C. 4 Levi, Giorgio 4 Maher, Michael J. 4 Sakama, Chiaki 4 Shapiro, Ehud Y. 4 Subrahmanian, V. S. 4 Topor, Rodney W. 3 Apt, Krzysztof Rafal 3 Dahl, Veronica 3 De Bosschere, Koen 3 Demoen, Bart 3 Falaschi, Moreno 3 Filé, Gilberto 3 Gabbrielli, Maurizio 3 Gallier, Jean H. 3 Garcia de la Banda, Maria 3 Gupta, Gopal K. 3 Lau, Kung-Kiu 3 Le Charlier, Baudouin 3 Mancarella, Paolo 3 Martelli, Alberto 3 Martens, Bern 3 McCarty, L. Thorne 3 Naish, Lee 3 Pettorossi, Alberto 3 Proietti, Maurizio 3 Ramakrishnan, I. V. 3 Reiter, Raymond 3 Shmueli, Oded 3 Swift, Terrance 3 Tarau, Paul 3 Tsur, Shalom 2 Aït-Kaci, Hassan 2 Alferes, José Júlio 2 Balbin, Isaac 2 Beeri, Catriel 2 Bigot, Peter A. 2 Bochman, Alexander 2 Bonner, Anthony J. 2 Brass, Stefan 2 Bueno, Francisco 2 Chomicki, Jan 2 Clocksin, William F. 2 Cocco, Nicoletta 2 Cohen, Jacques 2 Dart, Philip W. 2 Deransart, Pierre 2 Dincbas, Mehmet 2 Ducassé, Mireille 2 Elcock, E. W. 2 Etalle, Sandro 2 Fages, François 2 Fariñas del Cerro, Luis 2 Ferrand, Gérard 2 Hanus, Michael 2 Herre, Heinrich 2 Hsiang, Jieh 2 Jäger, Gerhard 2 Kanamori, Tadashi 2 Kanellakis, Paris Christos 2 Kapur, Deepak 2 King, Andy 2 Kirchner, Hélène 2 Kowalski, Robert A. 2 Lamma, Evelina 2 Lassez, Jean-Louis 2 Leone, Nicola 2 Leuschel, Michael 2 Lifschitz, Vladimir ...and 487 more Authors
all top 5

### Fields

 454 Computer science (68-XX) 42 Mathematical logic and foundations (03-XX) 8 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General algebraic systems (08-XX) 1 Biology and other natural sciences (92-XX)

### Citations contained in zbMATH Open

340 Publications have been cited 3,464 times in 2,121 Documents Cited by Year
Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Zbl 0593.68062
Dowling, William F.; Gallier, Jean H.
1984
Inductive logic programming: Theory and methods. Zbl 0816.68043
Muggleton, Stephen; De Raedt, Luc
1994
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
1991
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
1985
Abstract interpretation and application to logic programs. Zbl 0776.68024
1992
Representing action and change by logic programs. Zbl 0783.68024
1993
Negation in logic programming. Zbl 0655.68018
Kunen, Kenneth
1987
GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
1997
The integration of functions into logic programming: From theory to practice. Zbl 0942.68526
Hanus, Michael
1994
Theory and practice of Constraint Handling Rules. Zbl 0920.68029
Frühwirth, Thom
1998
Quantitative deduction and its fixpoint theory. Zbl 0609.68068
van Emden, M. H.
1986
Horn clause queries and generalizations. Zbl 0583.68058
Chandra, Ashok K.; Harel, David
1985
Logic programming and negation: A survey. Zbl 0942.68518
Apt, Krzysztof R.; Bol, Roland N.
1994
Partial evaluation in logic programming. Zbl 0741.68030
Lloyd, J. W.; Shepherdson, J. C.
1991
Logic programming and knowledge representation. Zbl 0820.68028
Baral, Chitta; Gelfond, Michael
1994
An approach to declarative programming based on a rewriting logic. Zbl 0942.68060
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M.
1999
The execution algorithm of mercury, an efficient purely declarative logic programming language. Zbl 0877.68015
Somogyi, Zoltan; Henderson, Fergus; Conway, Thomas
1996
The NRL protocol analyzer: An overview. Zbl 0871.68052
1996
On the power of magic. Zbl 0722.68018
Beeri, Catriel; Ramakrishnan, Raghu
1991
Applying interval arithmetic to real, integer, and Boolean constraints. Zbl 0882.68032
Benhamou, Frédéric; Older, William J.
1997
Making PROLOG more expressive. Zbl 0584.68022
Lloyd, J. W.; Topor, R. W.
1984
Compile-time derivation of variable dependency using abstract interpretation. Zbl 0776.68032
Muthukumar, K.; Hermenegildo, M.
1992
Design, implementation, and evaluation of the constraint language $$cc(FD)$$. Zbl 0920.68026
Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
1998
A fixpoint semantics for disjunctive logic programs. Zbl 0713.68016
Minker, Jack; Rajasekar, Arcot
1990
LOGIN: A logic programming language with built-in inheritance. Zbl 0599.68013
Aïd-Kaci, Hassan; Nasr, Roger
1986
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
1984
HiLog: A foundation for higher-order logic programming. Zbl 0787.68017
Chen, Weidong; Kifer, Michael; Warren, David S.
1993
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
1998
Abducing through negation as failure: Stable models within the independent choice logic. Zbl 0957.68013
Poole, David
2000
Dynamic updates of non-monotonic knowledge bases. Zbl 0957.68108
Alferes, J. J.; Leite, J. A.; Pereira, L. M.; Przymusinska, H.; Przymusinski, T. C.
2000
On the sequential nature of unification. Zbl 0588.68045
Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C.
1984
Unification as a complexity measure for logic programming. Zbl 0641.68143
Itai, A.; Makowsky, J. A.
1987
A survey of complexity results for non-monotonic logics. Zbl 0784.68039
1993
Natural deduction as higher-order resolution. Zbl 0613.68035
Paulson, Lawrence C.
1986
Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. Zbl 0575.68094
Shepherdson, John C.
1984
Termination of logic programs: The never-ending story. Zbl 0820.68029
De Schreye, Danny; Decorte, Stefaan
1994
Algorithms for testing the satisfiability of propositional formulae. Zbl 0672.68044
Gallo, Giorgio; Urbani, Giampaolo
1989
Hybrid probabilistic programs. Zbl 0955.68020
Dekhtyar, Alex; Subrahmanian, V. S.
2000
A practical framework for the abstract interpretation of logic programs. Zbl 0717.68010
Bruynooghe, Maurice
1991
Logic programming with functions and predicates: The language BABEL. Zbl 0754.68031
Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario
1992
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
1994
Error diagnosis in logic programming, an adaptation of E. Y. Shapiro’s method. Zbl 0623.68005
Ferrand, Gérard
1987
N-PROLOG: An extension of PROLOG with hypothetical implications. I. Zbl 0576.68001
Gabbay, D. M.; Reyle, U.
1984
An argumentation-theoretic foundation for logic programming. Zbl 0816.68045
Dung, Phan Minh
1995
The $$s$$-semantics approach: Theory and applications. Zbl 0942.68527
Bossi, Annalisa; Gabbrielli, Maurizio; Levi, Giorgio; Martelli, Maurizio
1994
The family of stable models. Zbl 0798.68096
Fitting, Melvin
1993
Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082
Brass, Stefan; Dix, Jürgen
1997
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
1990
A procedural semantics for well-founded negation in logic programs. Zbl 0773.68064
Ross, Kenneth A.
1992
Negation as failure in the head. Zbl 0905.68030
Inoue, Katsumi; Sakama, Chiaki
1998
A logical analysis of modules in logic programming. Zbl 0681.68022
Miller, Dale
1989
Representing actions in logic programs and default theories: A situation calculus approach. Zbl 0880.68010
Turner, Hudson
1997
Feature-constraint logic for unification grammars. Zbl 0754.68108
Smolka, Gert
1992
Preferred extensions are partial stable models. Zbl 0769.68081
Kakas, A. C.; Mancarella, P.
1992
Records for logic programming. Zbl 0803.68021
Smolka, Gert; Treinen, Ralf
1994
The iff proof procedure for abductive logic programming. Zbl 0890.68029
Fung, Tze Ho; Kowalski, Robert
1997
A semantic basis for the termination analysis of logic programs. Zbl 0948.68114
Codish, Michael; Taboch, Cohavit
1999
Conjunctive partial deduction: Foundations, control, algorithms, and experiments. Zbl 0944.68025
De Schreye, Danny; Glück, Robert; Jørgensen, Jesper; Leuschel, Michael; Martens, Bern; Sørensen, Morten Heine
1999
Ultrametric spaces and logic programming. Zbl 0944.68027
Priess-Crampe, Sibylla; Ribenboim, Paulo
2000
$$\{\log\}$$: A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
1996
Completed logic programs and their consistency. Zbl 0715.68011
Sato, Taisuke
1990
N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure. Zbl 0595.68004
Gabbay, D. M.
1985
Static analysis of logic programs for independent AND parallelism. Zbl 0776.68026
Jacobs, Dean; Langen, Anno
1992
Recursive query plans for data integration. Zbl 0949.68063
Duschka, Oliver M.; Genesereth, Michael R.; Levy, Alon Y.
2000
Principles and implementation of deductive parsing. Zbl 0866.68062
Shieber, Stuart M.; Schabes, Yves; Pereira, Fernando C. N.
1995
A transformational approach to negation in logic programming. Zbl 0796.68056
Barbuti, Roberto; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco
1990
Stable inference as intuitionistic validity. Zbl 0911.68136
Pearce, David
1999
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
1999
Negation as failure. II. Zbl 0603.68094
Shepherdson, John C.
1985
What should a database know? Zbl 0777.68035
Reiter, Raymond
1992
Clausal intuitionistic logic. I: Fixed-point semantics. Zbl 0645.03006
McCarty, L. Thorne
1988
Efficient access mechanisms for tabled logic programs. Zbl 0911.68033
Ramakrishnan, I. V.; Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S.
1999
Relating logic programs and attribute grammars. Zbl 0586.68073
Deransart, Pierre; Małuszynski, Jan
1985
Efficient top-down computation of queries under the well-founded semantics. Zbl 0866.68017
Chen, Weidong; Swift, Terrance; Warren, David S.
1995
Nondeterministic algebraic specifications and nonconfluent term rewriting. Zbl 0763.68050
Hussmann, Heinrich
1992
Towards a unified theory of intensional logic programming. Zbl 0754.68032
Orgun, Mehmet A.; Wadge, William W.
1992
Strong termination of logic programs. Zbl 0787.68016
Bezem, Marc
1993
Equivalence of datalog queries is undecidable. Zbl 0825.68352
Shmueli, Oded
1993
SLDNFA: An abductive procedure for abductive logic programs. Zbl 0905.68025
Denecker, Marc; De Schreye, Danny
1998
Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088
Brass, Stefan; Dix, Jürgen
1999
Negation as failure using tight derivations for general logic programs. Zbl 0668.68108
van Gelder, Allen
1989
A basis for deductive database systems. II. Zbl 0591.68087
Lloyd, J. W.; Topor, R. W.
1986
The relation between logic and functional languages: A survey. Zbl 0599.68014
Bellia, Marco; Levi, Giorgio
1986
Efficient bottom-up computation of queries on stratified databases. Zbl 0764.68012
Balbin, I.; Port, G. S.; Ramamohanarao, K.; Meenakshi, K.
1991
Towards a meaning of LIFE. Zbl 0782.68022
Aït-Kaci, Hassan; Podelski, Andreas
1993
Hierarchical constraint logic programming. Zbl 0771.68038
Wilson, Molly; Borning, Alan
1993
A completeness theorem for SLDNF resolution. Zbl 0689.68107
Cavedon, L.; Lloyd, J. W.
1989
Compiling constraints in clp(FD). Zbl 0874.68054
Codognet, Philippe; Diaz, Daniel
1996
Some global optimizations for a PROLOG compiler. Zbl 0575.68003
Mellish, C. S.
1985
Basic transformation operations which preserve computed answer substitutions of logic programs. Zbl 0778.68020
Bossi, A.; Cocco, N.
1993
The stable models of a predicate logic program. Zbl 0836.68013
Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.
1994
A basis for deductive database systems. Zbl 0583.68056
Lloyd, J. W.; Topor, R. W.
1985
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
1984
On-line algorithms for polynomially solvable satisfiability problems. Zbl 0774.68053
Ausiello, Giorgio; Italiano, Giuseppe F.
1991
A logical reconstruction of Prolog II. Zbl 0594.68033
van Emden, M. H.; Lloyd, J. W.
1984
A note on the complexity of the satisfiability of modal Horn clauses. Zbl 0624.03010
Fariñas del Cerro, Luis; Penttonen, Martti
1987
Oriented equational clauses as a programming language. Zbl 0574.68024
Fribourg, Laurent
1984
Constraint logic programming for reasoning about discrete event processes. Zbl 0764.68014
Ostroff, J. S.
1991
Deriving descriptions of possible values of program variables by means of abstract interpretation. Zbl 0776.68027
Janssens, G.; Bruynooghe, M.
1992
A temporal extension of PROLOG. Zbl 0787.68094
Hrycej, Tomas
1993
Abducing through negation as failure: Stable models within the independent choice logic. Zbl 0957.68013
Poole, David
2000
Dynamic updates of non-monotonic knowledge bases. Zbl 0957.68108
Alferes, J. J.; Leite, J. A.; Pereira, L. M.; Przymusinska, H.; Przymusinski, T. C.
2000
Hybrid probabilistic programs. Zbl 0955.68020
Dekhtyar, Alex; Subrahmanian, V. S.
2000
Ultrametric spaces and logic programming. Zbl 0944.68027
Priess-Crampe, Sibylla; Ribenboim, Paulo
2000
Recursive query plans for data integration. Zbl 0949.68063
Duschka, Oliver M.; Genesereth, Michael R.; Levy, Alon Y.
2000
An abductive event calculus planner. Zbl 0957.68106
Shanahan, Murray
2000
ACLP: Abductive constraint logic programming. Zbl 0957.68017
Kakas, A. C.; Michael, A.; Mourlas, C.
2000
Defeasible logic versus logic programming without negation as failure. Zbl 0959.68117
Antoniou, G.; Maher, M. J.; Billington, D.
2000
An algebraic approach to sharing analysis of logic programs. Zbl 0944.68029
Codish, Michael; Lagoon, Vitaly; Bueno, Francisco
2000
Expressive capabilities description languages and query rewriting algorithms. Zbl 0949.68064
Vassalos, Vasilis; Papakonstantinou, Yannis
2000
Computing abduction by using TMS with top-down expectation. Zbl 0957.68018
Iwayama, Noboru; Satoh, Ken
2000
Argumentation-based abduction in disjunctive logic programming. Zbl 0957.68021
Wang, Kewen
2000
Pair-sharing over rational trees. Zbl 0964.68017
King, Andy
2000
An abstract machine for efficiently computing queries to well-founded models. Zbl 0957.68019
Sagonas, Konstantinos; Swift, Terrance; Warren, David S.
2000
Operational and goal-independent denotational semantics for Prolog with cut. Zbl 0948.68030
Spoto, Fausto
2000
Abstract domains for reordering CLP($$\operatorname{Re}_{Lin}$$) programs. Zbl 0952.68031
Ramachandran, V.; Van Hentenryck, P.; Cortesi, A.
2000
Tracing prolog programs by source instrumentation is efficient enough. Zbl 0951.68014
Ducassé, Mireille; Noyé, Jacques
2000
Introduction to the constraint language NCL. Zbl 0957.68020
Zhou, Jianyang
2000
Meta-agent programs. Zbl 0971.68155
Dix, Jürgen; Subrahmanian, V. S.; Pick, George
2000
Interprocedural analyses: A comparison. Zbl 0951.68013
Seidl, Helmut; Fecht, Christian
2000
Improving program analyses by structure untupling. Zbl 0955.68021
Codish, Michael; Marriott, Kim; Taboch, Cohavit
2000
Special issue: Abductive logic programming. Zbl 0954.00015
2000
Conditional reasoning in logic programming. Zbl 0957.68014
Gabbay, D.; Giordano, L.; Martelli, A.; Olivetti, N.; Sapino, M. L.
2000
Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015
Sakama, Chiaki; Inoue, Katsumi
2000
An abductive approach to disjunctive logic programming. Zbl 0957.68016
You, Jia-Huai; Yuan, Li Yan; Goebel, Randy
2000
A simple polynomial groundness analysis for logic programs. Zbl 0957.68022
Heaton, Andy; Abo-Zaed, Muhamed; Codish, Michael; King, Andy
2000
More on tractable disjunctive Datalog. Zbl 0964.68057
Ben-Eliyahu-Zohary, Rachel; Palopoli, Luigi; Zemlyanker, Victoria
2000
An approach to declarative programming based on a rewriting logic. Zbl 0942.68060
González-Moreno, J. C.; Hortalá-González, M. T.; López-Fraguas, F. J.; Rodríguez-Artalejo, M.
1999
A semantic basis for the termination analysis of logic programs. Zbl 0948.68114
Codish, Michael; Taboch, Cohavit
1999
Conjunctive partial deduction: Foundations, control, algorithms, and experiments. Zbl 0944.68025
De Schreye, Danny; Glück, Robert; Jørgensen, Jesper; Leuschel, Michael; Martens, Bern; Sørensen, Morten Heine
1999
Stable inference as intuitionistic validity. Zbl 0911.68136
Pearce, David
1999
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
1999
Efficient access mechanisms for tabled logic programs. Zbl 0911.68033
Ramakrishnan, I. V.; Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S.
1999
Semantics of (disjunctive) logic programs based on partial evaluation. Zbl 0946.68088
Brass, Stefan; Dix, Jürgen
1999
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism. Zbl 0927.68018
Muthukumar, K.; Bueno, F.; García de la Banda, María; Hermenegildo, M.
1999
Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024
Pettorossi, Alberto; Proietti, Maurizio
1999
A study of relevance for learning in deductive databases. Zbl 0941.68019
Lavrač, Nada; Gamberger, Dragan; Jovanoski, Viktor
1999
Inductive synthesis of recursive logic programs: Achievements and prospects. Zbl 0949.68044
Flener, Pierre; Yılmaz, Serap
1999
Sharing is optimal. Zbl 0942.68610
Cortesi, Agostino; Filé, Gilberto
1999
Abstract multiple specialization and its application to program parallelization. Zbl 0944.68026
Puebla, German; Hermenegildo, Manuel
1999
Extremal problems in logic programming and stable model computation. Zbl 0927.68019
Cholewinski, Pawel; Truszczynski, Miroslaw
1999
Opium: An extendable trace analyzer for prolog. Zbl 0938.68023
Ducassé, Mireille
1999
Lau, Kung-Kiu; Ornaghi, Mario; Tärnlund, Sten-Åke
1999
Induction of logic programs by example-guided unfolding. Zbl 0941.68017
Boström, Henrik; Idestam-Almquist, Peter
1999
The complexity of revising logic programs. Zbl 0937.68024
Greiner, Russell
1999
Termination of logic programs with delay declarations. Zbl 0947.68025
Marchiori, Elena; Teusink, Frank
1999
Verification of logic programs. Zbl 0947.68026
Pedreschi, Dino; Ruggieri, Salvatore
1999
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
1999
LogiMOO: An extensible multi-user virtual world with natural language control. Zbl 0937.68022
Tarau, Paul; De Bosschere, Koen; Dahl, Veronica; Rochefort, Stephen
1999
A declarative semantics for depth-first logic programs. Zbl 0941.68535
Elbl, Birgit
1999
A pragmatic reconstruction of $$\lambda$$Prolog. Zbl 0948.68027
Belleannée, Catherine; Brisset, Pascal; Ridoux, Olivier
1999
Set constructors, finite sets, and logical semantics. Zbl 0911.68034
Jayaraman, Bharat; Jana, Devashis
1999
Numerical reasoning with an ILP system capable of lazy evaluation and customised search. Zbl 0941.68018
Srinivasan, Ashwin; Camacho, Rui
1999
Efficient goal directed bottom-up evaluation of logic programs. Zbl 0937.68023
Codish, Michael
1999
Worst-case groundness analysis using positive Boolean functions. Zbl 0948.68028
Codish, Michael
1999
Theory and practice of Constraint Handling Rules. Zbl 0920.68029
Frühwirth, Thom
1998
Design, implementation, and evaluation of the constraint language $$cc(FD)$$. Zbl 0920.68026
Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
1998
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
1998
Negation as failure in the head. Zbl 0905.68030
Inoue, Katsumi; Sakama, Chiaki
1998
SLDNFA: An abductive procedure for abductive logic programs. Zbl 0905.68025
Denecker, Marc; De Schreye, Danny
1998
Tabulated resolution for the well-founded semantics. Zbl 0905.68024
Bol, Roland; Degerstedt, Lars
1998
A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion. Zbl 0905.68032
Bochman, Alexander
1998
Datalog with integer periodicity constraints. Zbl 0905.68034
Toman, David; Chomicki, Jan
1998
The theoretical foundations of LPTP (a logic program theorem prover). Zbl 0911.68030
Stärk, Robert F.
1998
Dynamic optimization of interval narrowing algorithms. Zbl 0920.68030
Lhomme, Olivier; Gotlieb, Arnaud; Rueher, Michel
1998
Completeness and properness of refinement operators in inductive logic programming. Zbl 0905.68027
van der Laag, Patrick R. J.; Nienhuys-Cheng, Shan-Hwei
1998
Differential methods in logic program analysis. Zbl 0905.68029
García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald
1998
Datalog with non-deterministic choice computes NDB-PTIME. Zbl 0905.68031
Giannotti, Fosca; Pedreschi, Dino
1998
Polymorphic type analysis in logic programs by abstract interpretation. Zbl 0905.68035
Lu, Lunjin
1998
Combining negation as failure and embedded implications in logic programs. Zbl 0911.68027
Giordano, Laura; Olivetti, Nicola
1998
A framework to incorporate non-monotonic reasoning into constraint logic programming. Zbl 0936.68018
Dix, Jürgen; Stolzenburg, Frieder
1998
Experiments in reactive constraint logic programming. Zbl 0920.68031
Fages, Francois; Fowler, Julian; Sola, Thierry
1998
Automated reasoning with a constrain-based metainterpreter. Zbl 0920.68098
Christiansen, Henning
1998
Transformational methodology for proving termination of logic programs. Zbl 0904.68040
Rao, M. R. K. Krishna; Kapur, Deepak; Shyamasundar, R. K.
1998
Deductive query langauges for recursively typed complex objects. Zbl 0905.68058
Hull, Richard; Su, Jianwen
1998
A logical foundation for logic programming. II: Semantics of general logic programs. Zbl 0918.68010
Bochman, Alexander
1998
Relationlog: A typed extension to datalog with sets and tuples. Zbl 0911.68031
Liu, Mengchi
1998
Creating specialised integrity checks through partial evaluation of meta-interpreters. Zbl 0911.68028
Leuschel, Michael; De Schreye, Danny
1998
GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
1997
Applying interval arithmetic to real, integer, and Boolean constraints. Zbl 0882.68032
Benhamou, Frédéric; Older, William J.
1997
Characterizations of the disjunctive stable semantics by partial evaluation. Zbl 0883.68082
Brass, Stefan; Dix, Jürgen
1997
Representing actions in logic programs and default theories: A situation calculus approach. Zbl 0880.68010
Turner, Hudson
1997
The iff proof procedure for abductive logic programming. Zbl 0890.68029
Fung, Tze Ho; Kowalski, Robert
1997
A simple declarative language for describing narratives with actions. Zbl 0880.68009
Kakas, Antonios; Miller, Rob
1997
Representing actions: Laws, observations and hypotheses. Zbl 0882.68030
Baral, Chitta; Gelfond, Michael; Provetti, Alessandro
1997
Reasoning about effects of concurrent actions. Zbl 0882.68027
Baral, Chitta; Gelfond, Michael
1997
Constructive negation by pruning. Zbl 0882.68034
Fages, François
1997
Reconciling the event calculus with the situation calculus. Zbl 0882.68028
1997
On the relation between situation calculus and event calculus. Zbl 0883.68023
Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny
1997
Rules as actions: A situation calculus semantics for logic programs. Zbl 0882.68031
Lin, Fangzhen; Reiter, Ray
1997
Update by means of inference rules. Zbl 0884.68026
Przymusinski, Teodor C.; Turner, Hudson
1997
Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems. Zbl 0883.68024
Bornscheuer, Sven-Erik; Thielscher, Michael
1997
Order-sorted feature theory unification. Zbl 0884.68025
Aït-Kaci, Hassan; Podelski, Andreas; Goldstein, Seth Copen
1997
The relationship between logic programs and specifications - the subset example revisited. Zbl 0884.68031
Lau, Kung-Kiu; Ornaghi, Mario
1997
Partial deduction in disjunctive logic programming. Zbl 0883.68026
Sakama, Chiaki; Seki, Hirohisa
1997
Model generation and state generation for disjunctive logic programs. Zbl 0882.68033
Seipel, Dietmar; Minker, Jack; Ruiz, Carolina
1997
Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models. Zbl 0883.68025
Stuckey, Peter J.; Sudarshan, S.
1997
A parallel prolog system for distributed memory. Zbl 0886.68030
Araujo, Lourdes; Ruz, Jose J.
1997
A logical semantics for hypothetical rulebases with deletion. Zbl 0882.68087
Bonner, Anthony J.
1997
On delphi lemmas and other memoing techniques for deterministic logic programs. Zbl 0884.68027
Tarau, Paul; de Bosschere, Koen; Demoen, Bart
1997
...and 240 more Documents
all top 5

### Cited by 2,617 Authors

 27 Eiter, Thomas 27 Hermenegildo, Manuel V. 18 Leone, Nicola 18 Subrahmanian, V. S. 17 Inoue, Katsumi 16 Riguzzi, Fabrizio 16 Vidal, Germán 15 Alpuente, María 15 Baral, Chitta R. 15 De Schreye, Danny 15 Meseguer Guaita, José 15 Stuckey, Peter James 14 De Raedt, Luc 13 Denecker, Marc 13 Escobar, Santiago 13 Gelfond, Michael 13 Lamma, Evelina 13 Lifschitz, Vladimir 13 Rondogiannis, Panos 13 Truszczyński, Mirosław 12 De Giacomo, Giuseppe 12 Gabbay, Dov M. 12 Marek, V. Wiktor 12 Pettorossi, Alberto 12 Proietti, Maurizio 12 Schrijvers, Tom 12 Woltran, Stefan 11 Bruynooghe, Maurice 11 Gottlob, Georg 11 Leite, João 11 Phan Minh Dung 11 Thielscher, Michael 10 Antoy, Sergio 10 Cabalar, Pedro 10 Demoen, Bart 10 Falaschi, Moreno 10 Levesque, Hector J. 10 Levi, Giorgio 10 Meo, Maria Chiara 10 Muggleton, Stephen H. 10 Palamidessi, Catuscia 10 Pontelli, Enrico 10 Sakama, Chiaki 10 You, Jia-Huai 9 De Cock, Martine 9 Faber, Wolfgang 9 Gallagher, John P. 9 Ibaraki, Toshihide 9 Lobo, Jorge 9 Mello, Paola 9 Puebla, Germán 9 Toni, Francesca 9 Van Hentenryck, Pascal 8 Albert, Elvira 8 Amato, Gianluca 8 Avron, Arnon 8 Boros, Endre 8 Carro, Manuel 8 Costantini, Stefania 8 Formisano, Andrea 8 Gabbrielli, Maurizio 8 Hanus, Michael 8 Knorr, Matthias 8 López-Fraguas, Francisco Javier 8 López-García, Pedro 8 Maher, Michael J. 8 Makino, Kazuhisa 8 Morales, Jose Francisco 8 Moreno, Ginés 8 Remmel, Jeffrey B. 8 Smolka, Gert 8 Swift, Terrance 7 Cadoli, Marco 7 Cortesi, Agostino 7 Dix, Jurgen 7 Dovier, Agostino 7 Drabent, Włodzimierz 7 Dubois, Didier 7 Gonçalves, Ricardo 7 Greco, Sergio 7 Hölldobler, Steffen 7 Lin, Fangzhen 7 Minker, Jack 7 Omodeo, Eugenio Giovanni 7 Osorio, Mauricio A. 7 Przymusinski, Teodor C. 7 Rodríguez-Artalejo, Mario 7 Schaub, Torsten H. 7 Schockaert, Steven 7 Scozzari, Francesca 7 Son, Tran Cao 6 Alferes, José Júlio 6 Alviano, Mario 6 Antoniou, Grigoris 6 Baader, Franz 6 Brogi, Antonio 6 Calvanese, Diego 6 Comini, Marco 6 Cousot, Patrick 6 del Vado Vírseda, Rafael ...and 2,517 more Authors
all top 5

### Cited in 157 Journals

 285 Theoretical Computer Science 206 Artificial Intelligence 158 Theory and Practice of Logic Programming 125 Annals of Mathematics and Artificial Intelligence 58 Journal of Automated Reasoning 57 Information and Computation 56 New Generation Computing 44 Machine Learning 43 Information Processing Letters 41 Journal of Computer and System Sciences 37 Journal of Symbolic Computation 37 Journal of Applied Non-Classical Logics 35 International Journal of Approximate Reasoning 29 Discrete Applied Mathematics 27 Studia Logica 24 Constraints 23 Journal of Applied Logic 22 Formal Aspects of Computing 21 Fuzzy Sets and Systems 21 Annals of Pure and Applied Logic 14 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 13 Journal of Philosophical Logic 13 Journal of Computer Science and Technology 13 Journal of Functional Programming 13 The Journal of Logic and Algebraic Programming 12 Higher-Order and Symbolic Computation 12 ACM Transactions on Computational Logic 11 The Journal of Symbolic Logic 11 Journal of Logical and Algebraic Methods in Programming 10 Information Sciences 9 RAIRO. Informatique Théorique et Applications 9 Formal Methods in System Design 9 Logical Methods in Computer Science 8 Acta Informatica 8 International Journal of Intelligent Systems 8 Journal of Logic, Language and Information 7 International Journal of Foundations of Computer Science 7 European Journal of Operational Research 7 Computer Languages, Systems & Structures 6 Annals of Operations Research 6 MSCS. Mathematical Structures in Computer Science 5 Computers & Mathematics with Applications 5 International Journal of Computer Mathematics 5 Applicable Algebra in Engineering, Communication and Computing 5 Science in China. Series E 5 Theory of Computing Systems 5 Fundamenta Informaticae 4 Synthese 4 Science of Computer Programming 4 Journal of Global Optimization 4 Archive for Mathematical Logic 4 RAIRO. Operations Research 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 3 Kybernetika 3 Software. Practice & Experience 3 Algorithmica 3 Computers & Operations Research 3 Mathematical and Computer Modelling 3 Mathematical Programming. Series A. Series B 3 The Bulletin of Symbolic Logic 3 Logic and Logical Philosophy 2 BIT 2 Computing 2 Journal of Pure and Applied Algebra 2 Notre Dame Journal of Formal Logic 2 Cybernetics 2 Operations Research Letters 2 International Journal of Parallel Programming 2 Applied Mathematics Letters 2 Neural Computation 2 Applied Intelligence 2 Cybernetics and Systems Analysis 2 Journal of Computer and Systems Sciences International 2 Computational & Mathematical Organization Theory 2 Abstract and Applied Analysis 2 Data Mining and Knowledge Discovery 2 Journal of Machine Learning Research (JMLR) 2 OR Spectrum 2 Computational Linguistics 2 Logica Universalis 2 Nonlinear Analysis. Hybrid Systems 2 Mathematical Programming Computation 2 Frontiers of Computer Science 2 Nonlinear Analysis. Theory, Methods & Applications 1 Communications in Mathematical Physics 1 Discrete Mathematics 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Journal of the Franklin Institute 1 Chaos, Solitons and Fractals 1 Algebra Universalis 1 Applied Mathematics and Computation 1 Automatica 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Demonstratio Mathematica 1 Journal of Geometry 1 Linguistics and Philosophy 1 Results in Mathematics 1 SIAM Journal on Computing 1 Siberian Mathematical Journal ...and 57 more Journals
all top 5

### Cited in 32 Fields

 1,939 Computer science (68-XX) 478 Mathematical logic and foundations (03-XX) 80 Operations research, mathematical programming (90-XX) 46 Order, lattices, ordered algebraic structures (06-XX) 23 Information and communication theory, circuits (94-XX) 22 Combinatorics (05-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 18 General topology (54-XX) 16 Numerical analysis (65-XX) 15 Statistics (62-XX) 15 Biology and other natural sciences (92-XX) 13 General algebraic systems (08-XX) 12 Systems theory; control (93-XX) 9 History and biography (01-XX) 6 Category theory; homological algebra (18-XX) 4 General and overarching topics; collections (00-XX) 3 Functional analysis (46-XX) 3 Convex and discrete geometry (52-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Operator theory (47-XX) 2 Probability theory and stochastic processes (60-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX)