Search results for "deductive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Ernest Teniente	An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
78	Günther Specht, Stefan Seeberger	Montague Grammars for Deductive Databases.	DOOD	1995	DBLP DOI BibTeX RDF
71	Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (eds.)	Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel	An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Henning Christiansen 0001	Alternative Reasoning in a Metaprogramming System.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo	Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye	Using Event Calculus for Protocol Specification: An Experiment.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Michael Leuschel, Bern Martens	Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Cristian Papp	Alternating Fixpoint Semantics for Disjunctive Logic Programs.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Alex Kean, George K. Tsiknis	A Computational System for Symbolic Belief Revision.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Liviu-Virgil Ciortuz, Mihaela Juganaru	Towords a Constraint-based Implementation of F-Logic.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Xiaoyong Du 0001, Naohiro Ishii	Reducing the Arity of Recursive Predicates by Realigning Some Predicates.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Knut Hinkelmann	Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Paulo Jorge de Sousa Azevedo, Danilo Montesi	An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
71	Tomi Janhunen	Cautious Models for General Logic Programs.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
66	Jack Minker	Perspectives in Deductive Databases (Abstract).	PODS	1987	DBLP DOI BibTeX RDF
64	Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie	XDO2: A Deductive Object-Oriented Query Language for XML.	DASFAA	2005	DBLP DOI BibTeX RDF	XML query language, not-predicate negation, fixpoint semantics, deductive rule
63	Dietmar Seipel	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
63	Andrew Dinn, Norman W. Paton, M. Howard Williams, Alvaro A. A. Fernandes, Maria L. Barja	The Implementation of a Deductive Query Language over an OODB.	DOOD	1995	DBLP DOI BibTeX RDF
61	Carlo Zaniolo, Reza Sadri	A Simple Model for Active Rules and their Behavior in Deductive Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
61	Kenneth A. Ross	Constraint Stratification in Deductive Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
61	Burkhard Freitag	Representing Objects as Modules in Deductive Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
61	David B. Kemp, Kotagiri Ramamohanarao	A Deductive Database Solution to the Preferential Vote Counting Problem.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
58	Steve Roach, Jeffrey Van Baalen	Experience Report on Automated Procedure Construction for Deductive Synthesis.	ASE	2002	DBLP DOI BibTeX RDF
57	Steve Roach, Jeffrey Van Baalen	Automated Procedure Construction for Deductive Synthesis.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	synthesis, procedures, deductive, decision, partial deduction
57	Seung Jin Lim, Yiu-Kai Ng	A Hybrid Fragmentation Approach for Distributed Deductive Database Systems.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Hybrid fragmentation, Vertical fragmentation, Distributed systems, Deductive databases, Horizontal fragmentation
57	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Deductive Databases by Mixed Integer Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	negation and disjunction in deductive databases, minimal models
56	Peter A. Flach	From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
55	Zohar Manna, Richard J. Waldinger	Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	deductive program synthesis, deductive-tableau system, theorem-proving framework, nonclausal resolution rule, induction rule, formal specification, artificial intelligence, specification, theorem proving, program testing, reasoning, inference mechanisms, proof
54	Bernd Fischer 0002, Jon Whittle 0001	An Integration of Deductive Retrieval into Deductive Synthesis.	ASE	1999	DBLP DOI BibTeX RDF	deductive retrieval, software engineering, software reuse, program synthesis
54	Saso Dzeroski, Nada Lavrac	Inductive Learning in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	single extensional relation, LINUS, inductive logic programming system, virtual relations, negative tuples, attribute-value form, attribute-value learning systems, real-life noisy databases, deductive DBMS, learning (artificial intelligence), logic programming, database theory, deductive databases, deductive databases, inductive learning, noisy data
50	Nadia Yacoubi Ayadi, Zoé Lacroix, Maria-Esther Vidal, Edna Ruckhaus	Deductive Web Services: An Ontology-Driven Approach for Service Interoperability in Life Science.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
50	Regimantas Pliuskevicius	On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL.	Computational Logic	2000	DBLP DOI BibTeX RDF
50	Elisa Bertino, Giovanna Guerrini, Danilo Montesi	Inheritance in a Deductive Object Database Language with Updates.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
50	Mengchi Liu	OLOG: A Deductive Object Database Language.	NGITS	1999	DBLP DOI BibTeX RDF
50	Norman W. Paton, Pedro R. Falcone Sampaio	Extending the ODMG Architecture with a Deductive Object Query Language.	BNCOD	1998	DBLP DOI BibTeX RDF
50	Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà	Active-U-Datalog: Integrating Active Rules in a Logical Update Language.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
50	Jeffrey D. Ullman, Carlo Zaniolo	Deductive Databases: Achievements and Future Directions.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
50	Hugo Volger	The Semantics of Disjunctive Deductive Databases.	CSL	1989	DBLP DOI BibTeX RDF
49	Mengchi Liu, Gillian Dobbie, Tok Wang Ling	A logical foundation for deductive object-oriented databases.	ACM Trans. Database Syst.	2002	DBLP DOI BibTeX RDF	nonmonotonic multiple inheritance, object-oriented databases, deductive databases, Declarative semantics, rule-based languages
49	Hasan M. Jamil, Gillian Dobbie	A Model Theoretic Semantics for Multi-level Secure Deductive Databases.	ICLP	2002	DBLP DOI BibTeX RDF	MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness
49	Luigi Palopoli 0001, Riccardo Torlone	Generalized Production Rules as a Basis for Integrating Active and Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	semantics of rule systems, integration of database languages, query languages, deductive databases, Active databases, complex objects
48	Ulrich Geske, Dietmar Seipel (eds.)	Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren	Dynamic Argument Reduction for In-memory Data Queries.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Tiziana Catarci, Isabel F. Cruz	On Expressing Stratified Datalog.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Elisa Bertino, Barbara Catania, Giovanna Guerrini, Danilo Montesi	Static Analysis of Transactional Intensional Databases.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Dimitris Papadias, Andrew U. Frank, Manolis Koubarakis	Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic Arrays.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Anthony Tomasic	Determining Correct View Update Translations via Query Containment.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Inderpal Singh Mumick	One-Phase Magic-sets Transformation.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo	Expressive Power of Non-Deterministic Operators for Logic-based Languages.	Workshop on Deductive Databases and Logic Programming	1994	DBLP BibTeX RDF
48	Stefano Ceri, Letizia Tanca	Bridging Objects with Logical Rules: Towards Object Oriented Deductive Databases.	LOGIDATA+: Deductive Databases with Complex Objects	1993	DBLP DOI BibTeX RDF
48	John V. Harrison, Suzanne W. Dietrich	Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
48	Zeki O. Bayram, Barrett R. Bryant	Conditional Term Rewriting as a Deductive Database Language.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
48	Zahidul A. Khandaker, José Alberto Fernández, Jack Minker	A Tractable Class of Disjunctive Deductive Databases.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
48	Terry Gaasterland	Coherent Cooperative Answers in Deductive Databases.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
48	Devin E. Smith	An Integrated Reactor Physics and Source Term Calculation Based on Deductive Database Principles.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
48	Jiawei Han 0001, Tong Lu	N-Queens Problem Revisited: A Deductive Database Approach.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
48	Shalom Tsur, Frank Olken, Dalit Naor	Deductive Databases for Genomic Mapping (Extended Abstract).	Workshop on Deductive Databases	1990	DBLP BibTeX RDF
48	Dennis S. Arnon	Towards a Deductive Database for Elementary Algebra and Geometry.	Workshop on Deductive Databases	1990	DBLP BibTeX RDF
48	Geoffrey Phipps	Glue: A Deductive Database Programming Language (Extended Abstract).	Workshop on Deductive Databases	1990	DBLP BibTeX RDF
48	Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey	Design Overview of the Aditi Deductive Database System.	Workshop on Deductive Databases	1990	DBLP BibTeX RDF
48	James A. Thom, Kotagiri Ramamohanarao, Lee Naish	A Superjoin Algorithm for Deductive Databases.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
48	Lawrence J. Henschen, Hyung-Sik Park	Compiling the GCWA in Indefinite Deductive Databases.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
48	Upen S. Chakravarthy, John Grant, Jack Minker	Foundations of Semantic Query Optimization for Deductive Databases	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
48	Teodor C. Przymusinski	On the Declarative Semantics of Deductive Databases and Logic Programs.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
48	Yves Caseau, Pierre-Yves Guillo, Eric Levenez	A Deductive and Object-Oriented Approach to a Complex Scheduling Problem.	DOOD	1993	DBLP DOI BibTeX RDF
48	Jeffrey D. Ullman	A Comparison between Deductive and Object-Oriented Database Systems.	DOOD	1991	DBLP DOI BibTeX RDF
48	Hendrik Decker	Abduction for Knowledge Assimilation in Deductive Databases.	SCCC	1997	DBLP DOI BibTeX RDF	integrity maintenance, knowledge assimilation, SLDAI, SLD-based proof procedure, update request, hypothetical fact insertions, hypothetical fact deletions, base predicates, abductive logic programming, deductive databases, deductive databases, abduction
47	Zhaohui Xie, Jiawei Han 0001	Normalization and Compilation of Deductive and Object-Oriented Databases Programs for Efficient Query Evaluation.	DOOD	1995	DBLP DOI BibTeX RDF	Deductive and object-oriented database, recursive query evaluation, compilation, query optimization
45	Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú	On the infinite-valued Lukasiewicz logic that preserves degrees of truth.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03G20, 03B22, 06D35
43	Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu	Deductive Framework for Programming Sensor Networks.	ICDE	2009	DBLP DOI BibTeX RDF
43	Ping Hou, Johan Wittocx, Marc Denecker	A Deductive System for PC(ID).	LPNMR	2007	DBLP DOI BibTeX RDF
43	Mengchi Liu	Extending Datalog with Deductive Databases.	DEXA	2000	DBLP DOI BibTeX RDF
43	Lihui Xu, Alexandra Poulovassilis	A Method for Integrating Deductive Databases.	BNCOD	1997	DBLP DOI BibTeX RDF
43	Seung Jin Lim, Yiu-Kai Ng	A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design.	DEXA	1996	DBLP DOI BibTeX RDF
43	Werner Kießling, Ulrich Güntzer	Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption.	IS/KI	1994	DBLP DOI BibTeX RDF
43	Rajshekhar Sunderraman	Deductive Databases with Conditional Facts.	BNCOD	1993	DBLP DOI BibTeX RDF
43	Helmut Schmidt	Communicating Control Knowledge to a Deductive Database System.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
43	José Alberto Fernández, Jack Minker	Semantics of Disjunctive Deductive Databases.	ICDT	1992	DBLP DOI BibTeX RDF
43	Yeh-Heng Sheng	IDLOG: Extending the Expressive Power of Deductive Database Languages.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
43	Carlo Zaniolo	Deductive Databases - Theory Meets Practice.	EDBT	1990	DBLP DOI BibTeX RDF
41	Janusz Czelakowski	General Theory of the Commutator for Deductive Systems. Part I. Basic Facts.	Stud Logica	2006	DBLP DOI BibTeX RDF	commutator formula, centralizator, deductive system
41	Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau	Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns.	ISORC	2006	DBLP DOI BibTeX RDF	Automated code synthesis, Deductive code synthesis, Real-time system, Code patterns
41	Clare Dixon, Michael Fisher 0001, Boris Konev	Is There a Future for Deductive Temporal Verification?	TIME	2006	DBLP DOI BibTeX RDF	fragments of PTL, deductive verification, clausal temporal resolution, complexity
41	Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag	Deductive Verification of UML Models in TLPVS.	UML	2004	DBLP DOI BibTeX RDF	Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
41	José Oscar Olmedo-Aguirre, Karina Escobar-Vázquez, Giner Alor-Hernández, Guillermo Morales-Luna	ADM: An Active Deductive XML Database System.	MICAI	2004	DBLP DOI BibTeX RDF	XML, Semantic Web, Deductive Databases, Active Databases
41	Laks V. S. Lakshmanan, Nematollaah Shiri	A Parametric Approach to Deductive Databases with Uncertainty.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Conjunctive query containment, fixpoint computation, semantics, uncertainty, query optimization, deductive databases, proof theory, multisets
41	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
40	Georg Lausen, Bertram Ludäscher, Wolfgang May	On Active Deductive Databases: The Statelog Approach.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
40	Tarun Arora, Raghu Ramakrishnan 0001, William G. Roth, Praveen Seshadri, Divesh Srivastava	Explaining Program Execution in Deductive Systems.	DOOD	1993	DBLP DOI BibTeX RDF
40	Kotagiri Ramamohanarao	An Implementation Overview of the Aditi Deductive Database System.	DOOD	1993	DBLP DOI BibTeX RDF
40	Chee Chin Low, Hongjun Lu, Beng Chin Ooi, Jiawei Han 0001	Efficient Access Methods in Deductive and Object-Oriented Databases.	DOOD	1991	DBLP DOI BibTeX RDF
40	Giuseppe Di Battista, Maurizio Lenzerini	Deductive Entity-Relationship Modeling.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	deductive entity relationship modelling, IS-A, disjointness relations, mandatory participation, formal basis, computational complexity, semantics, conceptual modeling, deductive databases, first-order logic, inference mechanisms, assertions, classes, entity-relationship modelling, interdependencies, polynomial time complexity, inference algorithm
40	Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han 0001	Classification and Compilation of Linear Recursive Queries in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	linear recursive queries, I-graph, resolution graph, query evaluation plan, query compilation, query processing, query languages, deductive databases, deductive databases, graph model
39	Linda Sirounian, William I. Grosky	A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	knowledge base integration, Deductive databases, knowledge models, heterogeneous databases, schema integration
38	Fehime Nihan Kesim, Marek J. Sergot	Schema Evolution in a Deductive Framework.	KDOOD/TDOOD	1995	DBLP BibTeX RDF
38	Terttu Orci	Adding a Temporal Dimension to a Deductive Database.	KDOOD/TDOOD	1995	DBLP BibTeX RDF
38	Chien-Le Goh, Masahiko Tsukamoto, Shojiro Nishio	Discovering Charactertistic Rules from Deductive Databases.	KDOOD/TDOOD	1995	DBLP BibTeX RDF
38	Beat Wüthrich, W. C. Tong, K. Sankaran	A Temporal and Probabilistic, Deductive and Object-Oriented Query Language.	KDOOD/TDOOD	1995	DBLP BibTeX RDF
38	P. Möller, Suryanarayana M. Sripada	The ChronoBase Temporal Deductive Database System.	KDOOD/TDOOD	1995	DBLP BibTeX RDF