×

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

Publications by Year

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

Citations by Year