On the public citation graph
Logic and databases: A 20 year retrospective
0 signed · 325 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/jcss.1995.1053openalex-snapshot
The Expressive Powers of the Logic Programming Semantics
inferredcites →https://doi.org/10.1006/jcss.1997.1446openalex-snapshot
The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
inferredcites →https://doi.org/10.1007/3-540-52885-7_82openalex-snapshot
Generalized well-founded semantics for logic programs
inferredcites →https://doi.org/10.1007/3-540-54563-8_73openalex-snapshot
Combining knowledge bases consisting of first order theories
inferredcites →https://doi.org/10.1007/3-540-55015-1openalex-snapshot
Deductive and Object-Oriented Databases
inferredcites →https://doi.org/10.1007/3-540-55602-8_180openalex-snapshot
Embedding negation as failure into a model generation theorem prover
inferredcites →https://doi.org/10.1007/3-540-56039-4_31openalex-snapshot
Semantics of disjunctive deductive databases
inferredcites →https://doi.org/10.1007/3-540-56804-2_1openalex-snapshot
On extended disjunctive logic programs
inferredcites →https://doi.org/10.1007/3-540-57530-8_12openalex-snapshot
An implementation overview of the Aditi deductive database system
inferredcites →https://doi.org/10.1007/3-540-58107-3_12openalex-snapshot
Forming concepts for fast inference
inferredcites →https://doi.org/10.1007/3-540-58183-9_35openalex-snapshot
An architecture for a cooperative database system
inferredcites →https://doi.org/10.1007/3-540-59487-6_7openalex-snapshot
Characterizations of the stable semantics by partial evaluation
inferredcites →https://doi.org/10.1007/3-540-60608-4_34openalex-snapshot
Active database rules with transaction-conscious stable-model semantics
inferredcites →https://doi.org/10.1007/3-540-61630-6_19openalex-snapshot
Characterizing D-WFS: Confluence and iterated GCWA
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_16openalex-snapshot
A Unified Semantics for Active and Deductive Databases
inferredcites →https://doi.org/10.1007/978-1-4612-4980-1_17openalex-snapshot
Naive Evaluation of Recursively Defined Relations
inferredcites →https://doi.org/10.1007/978-1-4612-5196-5_8openalex-snapshot
Towards a Logical Reconstruction of Relational Database Theory
inferredcites →https://doi.org/10.1007/978-1-4615-2207-2openalex-snapshot
Applications of Logic Databases
inferredcites →https://doi.org/10.1007/978-1-4615-2207-2_1openalex-snapshot
Applications of Deductive Object-Oriented Databases Using DEL
inferredcites →https://doi.org/10.1007/978-1-4615-8297-7openalex-snapshot
Advances in Data Base Theory
inferredcites →https://doi.org/10.1007/978-1-4615-8297-7_11openalex-snapshot
A Formal Approach to Null Values in Database Relations
inferredcites →https://doi.org/10.1007/978-1-4615-9385-0openalex-snapshot
Advances in Data Base Theory
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_12openalex-snapshot
Integrity Checking in Deductive Data Bases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_2openalex-snapshot
Data Base: Theory vs. Interpretation
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot
On Closed World Data Bases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_4openalex-snapshot
Logic for Data Description
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_7openalex-snapshot
Deductive Planning and Pathfinding for Relational Data Bases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_8openalex-snapshot
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
inferredcites →https://doi.org/10.1007/978-3-030-37548-5openalex-snapshot
Pattern Recognition and Artificial Intelligence
inferredcites →https://doi.org/10.1007/978-3-642-02190-9openalex-snapshot
Advances in Data Management
inferredcites →https://doi.org/10.1007/978-3-642-60950-3openalex-snapshot
Multimedia Database Systems
inferredcites →https://doi.org/10.1007/978-3-642-76274-1_4openalex-snapshot
On Asking What a Database Knows
inferredcites →https://doi.org/10.1007/978-3-642-81955-1_32openalex-snapshot
Linear Resolution with Selection Function
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96868-6_250openalex-snapshot
Truth Maintenance System
inferredcites →https://doi.org/10.1007/bf00243002openalex-snapshot
On the declarative and procedural semantics of logic programs
inferredcites →https://doi.org/10.1007/bf00244495openalex-snapshot
Model theoretic approach to view updates in deductive databases
inferredcites →https://doi.org/10.1007/bf00248321openalex-snapshot
Weak Generalized Closed World Assumption
inferredcites →https://doi.org/10.1007/bf00263192openalex-snapshot
Logic for improving integrity checking in relational data bases?
inferredcites →https://doi.org/10.1007/bf00297245openalex-snapshot
A prolog technology theorem prover: Implementation by an extended prolog compiler
inferredcites →https://doi.org/10.1007/bf00297247openalex-snapshot
Inferring negative information from disjunctive databases
inferredcites →https://doi.org/10.1007/bf00712386openalex-snapshot
Bottom-up computation of the Fitting model for general deductive databases
inferredcites →https://doi.org/10.1007/bf00881833openalex-snapshot
Autoepistemic circumscription and logic programming
inferredcites →https://doi.org/10.1007/bf00881907openalex-snapshot
View updates in stratified disjunctive databases
inferredcites →https://doi.org/10.1007/bf00885764openalex-snapshot
A semantics for a class of non-deterministic and causal production system programs
inferredcites →https://doi.org/10.1007/bf00961654openalex-snapshot
Combining databases with prioritized information
inferredcites →https://doi.org/10.1007/bf00962069openalex-snapshot
Processing negation and disjunction in logic programs through integrity constraints
inferredcites →https://doi.org/10.1007/bf00962280openalex-snapshot
An overview of cooperative answering
inferredcites →https://doi.org/10.1007/bf00962922openalex-snapshot
Relaxation as a platform for cooperative answering
inferredcites →https://doi.org/10.1007/bf01014020openalex-snapshot
Query answering via cooperative data inference
inferredcites →https://doi.org/10.1007/bf01228881openalex-snapshot
DECLARE and SDS: Early efforts to commercialize deductive database technology
inferredcites →https://doi.org/10.1007/bf01530761openalex-snapshot
Propositional semantics for disjunctive logic programs
inferredcites →https://doi.org/10.1007/bf01530802openalex-snapshot
Disjunctive LP+integrity constraints= stable model semantics
inferredcites →https://doi.org/10.1007/bf01530826openalex-snapshot
Static semantics for normal and disjunctive logic programs
inferredcites →https://doi.org/10.1007/bf01534455openalex-snapshot
The expressiveness of locally stratified programs
inferredcites →https://doi.org/10.1007/bf01536398openalex-snapshot
Complexity and undecidability results for logic programming
inferredcites →https://doi.org/10.1007/bf01536399openalex-snapshot
On the computational cost of disjunctive logic programming: Propositional case
inferredcites →https://doi.org/10.1007/bf02341854openalex-snapshot
Stable and extension class theory for logic programs and default logics
inferredcites →https://doi.org/10.1007/bf03037169openalex-snapshot
Classical negation in logic programs and disjunctive databases
inferredcites →https://doi.org/10.1007/bf03037171openalex-snapshot
Stable semantics for disjunctive programs
inferredcites →https://doi.org/10.1007/bf03037339openalex-snapshot
Towards an efficient evaluation of recursive aggregates in deductive databases
inferredcites →https://doi.org/10.1007/bf03037407openalex-snapshot
The Alexander Method — A technique for the processing of recursive axioms in deductive databases
inferredcites →https://doi.org/10.1007/bfb0000066openalex-snapshot
On indefinite databases and the closed world assumption
inferredcites →https://doi.org/10.1007/bfb0012837openalex-snapshot
Procedural interpretation of non-horn logic programs
inferredcites →https://doi.org/10.1007/bfb0012838openalex-snapshot
Recursive query answering with non-horn clauses
inferredcites →https://doi.org/10.1007/bfb0014147openalex-snapshot
VALIDITY: Applications of a DOOD system
inferredcites →https://doi.org/10.1007/bfb0030663openalex-snapshot
A general approach to bottom-up computation of disjunctive semantics
inferredcites →https://doi.org/10.1007/bfb0030666openalex-snapshot
Computing stable and partial stable models of extended disjunctive logic programs
inferredcites →https://doi.org/10.1007/bfb0031736openalex-snapshot
A deductive database approach to planning in uncertain environments
inferredcites →https://doi.org/10.1007/bfb0031737openalex-snapshot
Termination properties of spatial Datalog programs
inferredcites →https://doi.org/10.1007/bfb0031738openalex-snapshot
Applying transition rules to bitemporal deductive databases for integrity constraint checking
inferredcites →https://doi.org/10.1007/bfb0031739openalex-snapshot
Towards a unified agent architecture that combines rationality with reactivity
inferredcites →https://doi.org/10.1007/bfb0031740openalex-snapshot
Learning query rules for optimizing databases with update rules
inferredcites →https://doi.org/10.1007/bfb0031741openalex-snapshot
Formal characterization of active databases
inferredcites →https://doi.org/10.1007/bfb0031742openalex-snapshot
Nested transactions in a logical language for active rules
inferredcites →https://doi.org/10.1007/bfb0031744openalex-snapshot
R-stable models for logic programs
inferredcites →https://doi.org/10.1007/bfb0031745openalex-snapshot
The expressive power of partial models for disjunctive deductive databases
inferredcites →https://doi.org/10.1007/bfb0031746openalex-snapshot
Stable model checking for disjunctive logic programs
inferredcites →https://doi.org/10.1007/bfb0031749openalex-snapshot
Database query evaluation with the STARBASE method
inferredcites →https://doi.org/10.1007/bfb0031750openalex-snapshot
The limits of fixed-order computation
inferredcites →https://doi.org/10.1007/bfb0031751openalex-snapshot
The $$\mathcal{I}\mathcal{Q}$$ system: A deductive database Information Lens for reasoning about textual information
inferredcites →https://doi.org/10.1007/bfb0031752openalex-snapshot
Arithmetic and aggregate operators in deductive object-oriented databases
inferredcites →https://doi.org/10.1007/bfb0031754openalex-snapshot
Language extensions for semantic integration of deductive databases
inferredcites →https://doi.org/10.1007/bfb0038700openalex-snapshot
Logic programming with strong negation
inferredcites →https://doi.org/10.1016/0004-3702(71)90012-9openalex-snapshot
Linear resolution with selection function
inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot
Circumscription—A form of non-monotonic reasoning
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(84)90009-2openalex-snapshot
Foundations of a functional approach to knowledge representation
inferredcites →https://doi.org/10.1016/0004-3702(85)90040-2openalex-snapshot
Saturation, nonmonotonic reasoning and the closed-world assumption
inferredcites →https://doi.org/10.1016/0004-3702(85)90042-6openalex-snapshot
Semantical considerations on nonmonotonic logic
inferredcites →https://doi.org/10.1016/0004-3702(90)90101-5openalex-snapshot
Nonmonotonic reasoning, preferential models and cumulative logics
inferredcites →https://doi.org/10.1016/0020-0190(82)90035-7openalex-snapshot
An extension to linear resolution with selection function
inferredcites →https://doi.org/10.1016/0020-0190(90)90012-mopenalex-snapshot
Generalized Closed World Assumption is II02-Complete
inferredcites →https://doi.org/10.1016/0020-0190(92)90049-2openalex-snapshot
The complexity of model checking for circumscriptive formulae
inferredcites →https://doi.org/10.1016/0022-0000(82)90012-5openalex-snapshot
Structure and complexity of relational queries
inferredcites →https://doi.org/10.1016/0022-0000(84)90080-1openalex-snapshot
Database relations with null values
inferredcites →https://doi.org/10.1016/0022-0000(91)90033-2openalex-snapshot
Why not negation by fixpoint?
inferredcites →https://doi.org/10.1016/0165-1684(80)90069-9openalex-snapshot
Pattern recognition and artificial intelligence
inferredcites →https://doi.org/10.1016/0167-9236(86)90064-3openalex-snapshot
Integrity enforcement on deductive databases
inferredcites →https://doi.org/10.1016/0167-9236(86)90084-9openalex-snapshot
Recursive axioms in deductive databases: The query/subquery approach
inferredcites →https://doi.org/10.1016/0169-023x(90)90017-8openalex-snapshot
Query evaluation in recursive databases: bottom-up and top-down reconciled
inferredcites →https://doi.org/10.1016/0304-3975(86)90015-0openalex-snapshot
The generalized counting method for recursive logic queries
inferredcites →https://doi.org/10.1016/0304-3975(89)90088-1openalex-snapshot
Recursive query processing: the power of logic
inferredcites →https://doi.org/10.1016/0306-4379(82)90002-3openalex-snapshot
A new model for data base abstraction
inferredcites →https://doi.org/10.1016/0306-4379(83)90024-8openalex-snapshot
On recursive axioms in deductive databases
inferredcites →https://doi.org/10.1016/0306-4379(92)90003-6openalex-snapshot
Safe computation of the well-founded semantics of datalog queries
inferredcites →https://doi.org/10.1016/0306-4379(94)90024-8openalex-snapshot
Schema equivalence in heterogeneous systems: Bridging theory and practice
inferredcites →https://doi.org/10.1016/0743-1066(84)90014-1openalex-snapshot
Linear-time algorithms for testing the satisfiability of propositional horn formulae
inferredcites →https://doi.org/10.1016/0743-1066(85)90002-0openalex-snapshot
Horn clause queries and generalizations
inferredcites →https://doi.org/10.1016/0743-1066(85)90013-5openalex-snapshot
A basis for deductive database systems
inferredcites →https://doi.org/10.1016/0743-1066(86)90004-xopenalex-snapshot
A basis for deductive database systems II
inferredcites →https://doi.org/10.1016/0743-1066(88)90006-4openalex-snapshot
Perspectives in deductive databases
inferredcites →https://doi.org/10.1016/0743-1066(89)90032-0openalex-snapshot
Negation as Failure Using Tight Derivations for General Logic Programs
inferredcites →https://doi.org/10.1016/0743-1066(90)90033-2openalex-snapshot
A fixpoint semantics for disjunctive logic programs
inferredcites →https://doi.org/10.1016/0743-1066(91)90036-oopenalex-snapshot
Set constructors in a logic database language
inferredcites →https://doi.org/10.1016/0743-1066(92)90038-5openalex-snapshot
A comparison of three PROLOG extensions
inferredcites →https://doi.org/10.1016/0743-1066(93)90028-fopenalex-snapshot
An overview of nonmonotonic reasoning and logic programming
inferredcites →https://doi.org/10.1016/0743-1066(93)90029-gopenalex-snapshot
A survey of complexity results for non-monotonic logics
inferredcites →https://doi.org/10.1016/0743-1066(93)90034-eopenalex-snapshot
A goal-oriented approach to computing the well-founded semantics
inferredcites →https://doi.org/10.1016/0743-1066(93)90035-fopenalex-snapshot
Representing action and change by logic programs
inferredcites →https://doi.org/10.1016/0743-1066(94)00023-yopenalex-snapshot
On the equivalence of semantics for normal logic programs
inferredcites →https://doi.org/10.1016/0743-1066(94)00039-9openalex-snapshot
A survey of deductive database systems
inferredcites →https://doi.org/10.1016/0743-1066(94)00106-gopenalex-snapshot
Bottom-up computation of perfect models for disjunctive theories
inferredcites →https://doi.org/10.1016/0743-1066(94)90005-1openalex-snapshot
A semantics for a class of stratified production system programs
inferredcites →https://doi.org/10.1016/0743-1066(94)90024-8openalex-snapshot
Logic programming and negation: A survey
inferredcites →https://doi.org/10.1016/0743-1066(94)90025-6openalex-snapshot
Logic programming and knowledge representation
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/0743-1066(94)90035-3openalex-snapshot
Inductive Logic Programming: Theory and methods
inferredcites →https://doi.org/10.1016/0743-1066(95)00119-0openalex-snapshot
A fixpoint characterization of abductive logic programs
inferredcites →https://doi.org/10.1016/0890-5401(92)90061-jopenalex-snapshot
Probabilistic logic programming
inferredcites →https://doi.org/10.1016/b978-0-12-450010-5.50022-0openalex-snapshot
Circumscription and Disjunctive Logic Programming
inferredcites →https://doi.org/10.1016/b978-0-12-696202-4.50013-9openalex-snapshot
Logical Aspects of Question-Answering by Computer
inferredcites →https://doi.org/10.1016/b978-0-444-88433-6.50015-0openalex-snapshot
On Deductive Query Evaluation in the DedGin* System
inferredcites →https://doi.org/10.1016/b978-0-444-88433-6.50028-9openalex-snapshot
Possible Model Semantics for Disjunctive Databases
inferredcites →https://doi.org/10.1016/b978-0-444-88433-6.50029-0openalex-snapshot
The Well Founded Semantics for Disjunctive Logic Programs
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50005-1openalex-snapshot
Negation in Logic Programming
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50006-3openalex-snapshot
Towards a Theory of Declarative Knowledge
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50009-9openalex-snapshot
On the Declarative Semantics of Deductive Databases and Logic Programs
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50011-7openalex-snapshot
Foundations of Semantic Query Optimization for Deductive Databases
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50013-0openalex-snapshot
A Theorem-Proving Approach to Database Integrity
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50015-4openalex-snapshot
Compiling the GCWA in Indefinite Deductive Databases
inferredcites →https://doi.org/10.1016/b978-0-934613-53-8.50024-8openalex-snapshot
AN ESSENTIAL HYBRID REASONING SYSTEM: KNOWLEDGE AND SYMBOL LEVEL ACCOUNTS OF KRYPTON
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50101-9openalex-snapshot
Reasoning with minimal models: Efficient algorithms and applications
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50135-4openalex-snapshot
How to Progress a Database (and Why) I. Logical Foundations
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50146-9openalex-snapshot
Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1016/s0004-3702(00)00010-2openalex-snapshot
Semantical and computational aspects of Horn approximations
inferredcites →https://doi.org/10.1016/s0022-0000(05)80053-4openalex-snapshot
A three-valued semantics for deductive databases and logic programs
inferredcites →https://doi.org/10.1016/s0364-0213(85)80014-8openalex-snapshot
An Overview of the KL‐ONE Knowledge Representation System*
inferredcites →https://doi.org/10.1016/s0743-1066(14)80008-3openalex-snapshot
The Stable Models of a Predicate Logic Program
inferredcites →https://doi.org/10.1016/s0743-1066(85)80005-4openalex-snapshot
A kripke-kleene semantics for logic programs*
inferredcites →https://doi.org/10.1016/s0743-1066(96)00115-xopenalex-snapshot
Characterizations of the disjunctive stable semantics by partial evaluation
inferredcites →https://doi.org/10.1016/s0743-1066(96)00121-5openalex-snapshot
GOLOG: A logic programming language for dynamic domains
inferredcites →https://doi.org/10.1016/s0743-1066(96)00141-0openalex-snapshot
Representing actions: Laws, observations and hypotheses
inferredcites →https://doi.org/10.1038/190864b0openalex-snapshot
Journal of the Association for Computing Machinery
inferredcites →https://doi.org/10.1093/jigpal/4.3.369openalex-snapshot
Integrity Constraints Revisited
inferredcites →https://doi.org/10.1093/logcom/4.5.581openalex-snapshot
The Range of Applicability of some Non-monotonic Logics for Strict Inertia
inferredcites →https://doi.org/10.1093/oso/9780198538523.003.0002openalex-snapshot
CoBase: a cooperative database system*
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/69.219736openalex-snapshot
A possible world semantics for disjunctive databases
inferredcites →https://doi.org/10.1109/69.940732openalex-snapshot
A parametric approach to deductive databases with uncertainty
inferredcites →https://doi.org/10.1109/icde.1990.113503openalex-snapshot
On representing indefinite and maybe information in relational databases: a generalization
inferredcites →https://doi.org/10.1109/icde.1991.131471openalex-snapshot
Design overview of the Aditi deductive database system
inferredcites →https://doi.org/10.1109/mc.1983.1654200openalex-snapshot
Krypton: A Functional Approach to Knowledge Representation
inferredcites →https://doi.org/10.1109/tc.1976.1674701openalex-snapshot
A Search Technique for Clause Interconnectivity Graphs
inferredcites →https://doi.org/10.1111/j.1467-8640.1992.tb00337.xopenalex-snapshot
COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES
inferredcites →https://doi.org/10.1142/s0218215794000181openalex-snapshot
COMBINING DEFAULT LOGIC DATABASES
inferredcites →https://doi.org/10.1145/103140.103141openalex-snapshot
A rule-based language with functions and sets
inferredcites →https://doi.org/10.1145/113413.113422openalex-snapshot
Modular acyclicity and tail recursion in logic programs
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/153850.153864openalex-snapshot
Complexity aspects of various semantics for disjunctive databases
inferredcites →https://doi.org/10.1145/1634.1886openalex-snapshot
Incomplete Information in Relational Databases
inferredcites →https://doi.org/10.1145/170035.170065openalex-snapshot
Design and implementation of the glue-nail database system
inferredcites →https://doi.org/10.1145/170036.170065openalex-snapshot
Design and implementation of the glue-nail database system
inferredcites →https://doi.org/10.1145/182591.182639openalex-snapshot
Adding disjunction to datalog (extended abstract)
inferredcites →https://doi.org/10.1145/185827.185843openalex-snapshot
Synthesis of extended transaction models using ACTA
inferredcites →https://doi.org/10.1145/185827.185854openalex-snapshot
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
inferredcites →https://doi.org/10.1145/210197.210198openalex-snapshot
Incremental computation of nested relational query expressions
inferredcites →https://doi.org/10.1145/210197.210200openalex-snapshot
Efficient checking of temporal integrity constraints using bounded history encoding
inferredcites →https://doi.org/10.1145/210332.210335openalex-snapshot
Logical foundations of object-oriented and frame-based languages
inferredcites →https://doi.org/10.1145/212433.220198openalex-snapshot
Answering queries using views (extended abstract)
inferredcites →https://doi.org/10.1145/212433.220207openalex-snapshot
Semantic query optimization in Datalog programs (extended abstract)
inferredcites →https://doi.org/10.1145/226643.226644openalex-snapshot
Knowledge compilation and theory approximation
showing the first 200 of 260 · page through all 260
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/0-306-47008-x_17openalex-snapshot
Protecting Deductive Databases from Unauthorized Retrievals
inferred← citeshttps://doi.org/10.1007/1-4020-3092-4_1openalex-snapshot
Knowledge Representation with Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-36077-8_25openalex-snapshot
Characterizing Web Service Substitutivity with Combined Deductive and Inductive Engines
inferred← citeshttps://doi.org/10.1007/3-540-44914-0_9openalex-snapshot
Linearly Bounded Reformulations of Unary Databases
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_66openalex-snapshot
Linearly Bounded Reformulations of Conjunctive Databases
inferred← citeshttps://doi.org/10.1007/3-540-45619-8_5openalex-snapshot
Access Control for Deductive Databases by Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_5openalex-snapshot
Key Constraints and Monotonic Aggregates in Deductive Databases
inferred← citeshttps://doi.org/10.1007/3-540-49366-2_9openalex-snapshot
A New Factoring Algorithm for Magic Predicates
inferred← citeshttps://doi.org/10.1007/3-540-63516-5_16openalex-snapshot
FOLRE: A deductive database system for the integrated treatment of updates
inferred← citeshttps://doi.org/10.1007/978-0-387-35697-6_9openalex-snapshot
Deductive Database Security
inferred← citeshttps://doi.org/10.1007/978-1-4615-1567-8_1openalex-snapshot
Introduction to Logic-Based Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/978-1-4615-1567-8_22openalex-snapshot
Nonmonotonic Reasoning in LDL++
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_12openalex-snapshot
On Logical Foundations of Active Databases
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_9openalex-snapshot
Integrity Constraints: Semantics and Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-24489-1_32openalex-snapshot
Dynamics of Belief: Horn Knowledge Base and Database Updates
inferred← citeshttps://doi.org/10.1007/978-3-540-25957-2_7openalex-snapshot
Logic-Based Integration of Query Answering and Knowledge Discovery
inferred← citeshttps://doi.org/10.1007/978-3-540-75209-7_28openalex-snapshot
Constructive Techniques for Meta- and Model-Level Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-03754-2_2openalex-snapshot
Answer Set Programming: A Primer
inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_18openalex-snapshot
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter
inferred← citeshttps://doi.org/10.1007/bfb0023799openalex-snapshot
Prolegomena to logic programming for non-monotonic reasoning
inferred← citeshttps://doi.org/10.1007/bfb0055496openalex-snapshot
On active deductive databases: The statelog approach
inferred← citeshttps://doi.org/10.1007/s10270-008-0105-0openalex-snapshot
Formalizing the structural semantics of domain-specific modeling languages
inferred← citeshttps://doi.org/10.1007/s10472-008-9086-5openalex-snapshot
Complexity results for answer set programming with bounded predicate arities and implications
inferred← citeshttps://doi.org/10.1007/s10844-007-0050-3openalex-snapshot
Specifying active databases as non-Markovian theories of actions
inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50021-7openalex-snapshot
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.03.026openalex-snapshot
Multimodal logic programming
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00207-2openalex-snapshot
Logic programming and knowledge representation—The A-Prolog perspective
inferred← citeshttps://doi.org/10.1016/s0169-023x(02)00126-xopenalex-snapshot
Protecting deductive databases from unauthorized retrieval and update requests
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00045-1openalex-snapshot
On the equivalence of the static and disjunctive well-founded semantics and its computation
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00147-5openalex-snapshot
On the complexity of data disjunctions
inferred← citeshttps://doi.org/10.1016/s0743-1066(97)00027-7openalex-snapshot
Expressiveness of stable model semantics for disjunctive logic programs with functions
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00074-6openalex-snapshot
An abductive approach to disjunctive logic programming
inferred← citeshttps://doi.org/10.1017/s1471068401001375openalex-snapshot
A logic-based approach to data integration
inferred← citeshttps://doi.org/10.1017/s1471068402001515openalex-snapshot
The deductive database system [Lscr ][Dscr ][Lscr ]++
inferred← citeshttps://doi.org/10.1023/a:1005952908693openalex-snapshot
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
inferred← citeshttps://doi.org/10.1093/logcom/exs013openalex-snapshot
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
inferred← citeshttps://doi.org/10.1109/32.824411openalex-snapshot
Managing requirements inconsistency with development goal monitors
inferred← citeshttps://doi.org/10.1109/dexa.2000.875165openalex-snapshot
Combining inductive and deductive inference in knowledge management tasks
inferred← citeshttps://doi.org/10.1109/dexa.2006.26openalex-snapshot
An Integrity Semantics for Open World Databases
inferred← citeshttps://doi.org/10.1109/ojies.2024.3413568openalex-snapshot
Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures
inferred← citeshttps://doi.org/10.1111/j.1467-9671.1997.tb00015.xopenalex-snapshot
Embedding production rules in a GIS
inferred← citeshttps://doi.org/10.1134/s0361768809050016openalex-snapshot
Conceptual and ontological modeling in information systems
inferred← citeshttps://doi.org/10.1134/s0361768812040032openalex-snapshot
Ontology-based data access systems
inferred← citeshttps://doi.org/10.1145/1149114.1149117openalex-snapshot
The DLV system for knowledge representation and reasoning
inferred← citeshttps://doi.org/10.1145/502807.502810openalex-snapshot
Complexity and expressive power of logic programming
inferred← citeshttps://doi.org/10.11606/t.3.2003.tde-02032004-145107openalex-snapshot
Tecnologia adaptativa em engenharia de computação: estado da arte e aplicações.
inferred← citeshttps://doi.org/10.1561/1900000017openalex-snapshot
Datalog and Recursive Query Processing
inferred← citeshttps://doi.org/10.1609/aimag.v18i3.1304openalex-snapshot
Logic and Databases Past, Present, and Future
inferred← citeshttps://doi.org/10.21203/rs.3.rs-3014467/v1openalex-snapshot
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
inferred← citeshttps://doi.org/10.21236/ada375711openalex-snapshot
Default Operational Representations of Military Organizations
inferred← citeshttps://doi.org/10.3233/inf-1998-9105openalex-snapshot
Handling Termination in a Logical Language for Active Rules
inferred← citeshttps://doi.org/10.32657/10356/35749openalex-snapshot
Information concierge for the world wide web
inferred← citeshttps://doi.org/10.4018/978-1-59140-560-3.ch057openalex-snapshot
Logic Databases and Inconsistency Handling
inferred← citeshttps://doi.org/10.4018/978-1-59904-931-1.ch097openalex-snapshot
Logic and Knowledge Bases
inferred← citeshttps://doi.org/10.48550/arxiv.1405.2642openalex-snapshot
An Abductive Framework for Horn Knowledge Base Dynamics
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0202001openalex-snapshot
The Deductive Database System LDL++
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0603053openalex-snapshot
Automatic generation of simplified weakest preconditions for integrity constraint verification
inferred← citeshttps://doi.org/10.5555/2372173.2372176openalex-snapshot
The Modal Query Language MDatalog
inferred← citeshttps://doi.org/10.5555/2394101.2394139openalex-snapshot
Constructive techniques for meta- and model-level reasoning
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.