5 K.R. Apt, H.A.Blair, A. Walker. Towards a theory of declarative knowledge. In J. Minker (ed.), Foundations of deductive databases and logic programming, pp 89-148, Morgan Kaufmann, 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Logics for Authorizations and Security - Piero Bonatti And (2003) (1 citation) (Correct)
No context found.
5 K.R. Apt, H.A.Blair, A. Walker. Towards a theory of declarative knowledge. In J. Minker (ed.), Foundations of deductive databases and logic programming, pp 89-148, Morgan Kaufmann, 1988.
Flexible Support for Multiple Access Control Policies - Sushil Jajodia George (2001) (20 citations) (Correct)
No context found.
Apt, K., Blair, H., and Walker, A. 1988. Towards a theory of declarative knowledge. In J. Minker Ed., Foundations of Deductive Databases and Logic Programming. San Mateo: Morgan Kaufmann.
On Lattice-Valued Deductive Databases - Institute (1992) (Correct)
No context found.
Apt, K. R., Blair, H., and Walker, A.: Towards a Theory of Declarative Knowledge. IBM Yorktown, Research Report, 1985
Minimum Model Semantics for Logic Programs with.. - Rondogiannis, Wadge (Correct)
No context found.
Apt, K., Blair, H., and Walker, A. 1988. Towards a Theory of Declarative Knowledge. In Foundations of Deductive Databases and Logic Programming, J. Minker, Ed. Morgan Kaufmann, Los Altos, CA, 89-148.
Bottom-up Evaluation and Query Optimization of Well-Founded - Models David Kemp (1995) (19 citations) (Correct)
No context found.
Apt, K. R., Blair, H. A. and Walker, A. Towards a theory of declarative knowledge. In Minker (ed) Foundations of Deductive Databases and Logic Programming, (1988) 89--148.
An Infinite-Valued Semantics for Logic Programs with Negation - Rondogiannis, Wadge (Correct)
No context found.
K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann, Los Altos, CA, 1988.
Integrating First-Order Logic Programs and Connectionist.. - Bader, Hitzler, Witzel (2005) (Correct)
No context found.
Krzysztof R. Apt, Howard A. Blair, and Adrian Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--148. Morgan Kaufmann, Los Altos, CA, 1988.
Splitting an Operator: Algebraic modularity results for .. - Vennekens, Gilis.. (2005) (2 citations) (Correct)
No context found.
Apt, K., Blair, H., and Walker, A. 1988. Towards a theory of Declarative Knowledge. In Foundations of Deductive Databases and Logic Programming, J. Minker, Ed. Morgan Kaufmann.
Level Mapping Characterizations of Selector Generated Models .. - Hitzler, Schwarz (2005) (Correct)
No context found.
Krzysztof R. Apt, Howard A. Blair, and Adrian Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of deductive databases and logic programs. Morgan Kaufmann, Los Altos, US, 1988.
An Integrated Approach to Engineer and Enforce Context.. - Strembeck, Neumann (2004) (Correct)
No context found.
APT, K., BLAIR, H., AND WALKER,A. 1988. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming,J.Minker, ed. Morgan Kaufmann Publishers.
Towards a Systematic Account of Different Semantics for Logic.. - Hitzler (2003) (Correct)
No context found.
Krzysztof R. Apt, Howard A. Blair, and Adrian Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--148. Morgan Kaufmann, Los Altos, CA, 1988.
Minimality, Non-Determinism, and Absent Information in.. - Roelofsen (2005) (Correct)
No context found.
K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. 1988.
On the Impact of Stratification on the Complexity of.. - Niemelä, Rintanen (Correct)
No context found.
Apt K. R., Blair H. A., and Walker A., Towards a theory of declarative knowledge, In Minker J., editor, Foundations of Deductive Databases and Logic Programming, pages 89148, Morgan Kaufmann Publishers, Los Altos, CA, 1988.
Parametric Connectives in Disjunctive Logic Programming - Perri, Leone (2004) (1 citation) (Correct)
No context found.
K. R. Apt, H. A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--148. Morgan Kaufmann Publishers, Inc., Washington DC, 1988.
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
No context found.
Apt, K., Blair, H.A., Walker, A., Towards a Theory of Declarative Knowledge, in: Foundations of Deductive Databases and Logic Programming, J. Minker Ed., Morgan Kaufmann Pub., pp.89-148, 1987.
What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
No context found.
K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--
Complexity of Answer Set Checking and Bounded.. - Eiter, Faber.. (Correct)
No context found.
K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In [20].
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--148. Morgan Kaufmann, 1987.
On the Indiscernibility of Individuals in Logic Programming - Eiter, Gottlob, Leone (1996) (Correct)
No context found.
K. Apt, H. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In Minker [29], pages 89-148.
Contestations and Constraints for Databases - Shekhar Pradhan Central (2001) (Correct)
No context found.
K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann Pub., Washington, D.C., 1988.
A Logical Framework for the Specification of Transactions - Extended Version.. (Correct)
No context found.
K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--148. Morgan Kaufmann Publishers, San Mateo, CA, 1988.
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
No context found.
K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89--148. Morgan Kaufmann, 1987.
Level Mapping Characterizations of Selector Generated Models .. - Hitzler, Schwarz (2005) (Correct)
No context found.
Krzysztof R. Apt, Howard A. Blair, and Adrian Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of deductive databases and logic programs. Morgan Kaufmann, Los Altos, US, 1988.
Complexity of Answer Set Checking and Bounded.. - Eiter, Faber.. (Correct)
No context found.
K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In [20].
Suitable Graphs for Answer Set Programming - Linke (2003) (Correct)
No context found.
K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, chapter 2, pages 89--148. Morgan Kaufmann Publishers, 1987.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC