Michael Kifer

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Defeasibility in answer set programs with defaults and argumentation rules.

[BibT_eX]

[DOI]

Semantic Web, 2015

The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation).

[BibT_eX]

[DOI]

Paul Fodor

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.

[BibT_eX]

[DOI]

Proceedings of the RuleML 2015 Challenge, 2015

Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Planning with Regression Analysis in Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

State Space Planning Using Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2015

2014

RIF: The Rule Interchange Format.

[BibT_eX]

[DOI]

Encyclopedia of Social Network Analysis and Mining, 2014

Planning with Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

2013

A practical analysis of non-termination in large logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.

[BibT_eX]

[DOI]

Andrea Calì

Georg Gottlob

J. Artif. Intell. Res., 2013

Understanding Rulelog Computations in Silk.

[BibT_eX]

[DOI]

CoRR, 2013

Advanced Knowledge Base Debugging for Rulelog.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

Developing Troubleshooting Systems Using Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 2013

2012

Transaction Logic with Partially Defined Actions.

[BibT_eX]

[DOI]

J. Data Semant., 2012

Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints

[BibT_eX]

[DOI]

Andrea Calì

Georg Gottlob

CoRR, 2012

Deriving Predicate Statistics for Logic Rules.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Formalizing Production Systems with Rule-Based Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

KR and Reasoning on the Semantic Web: RIF.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Semantic Web Technologies, 2011

Reasoning with Actions in Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Logic-Based Model-Level Software Development with F-OML.

[BibT_eX]

[DOI]

Mira Balaban

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Transaction Logic with Defaults and Argumentation Theories.

[BibT_eX]

[DOI]

Paul Fodor

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

A Guide to the Basic Logic Dialect for Rule Interchange on the Web.

[BibT_eX]

[DOI]

Harold Boley

IEEE Trans. Knowl. Data Eng., 2010

An Overview of F-OML: An F-Logic Based Object Modeling Language.

[BibT_eX]

[DOI]

Mira Balaban

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Omni-directional Hyper Logic Programs in SILK and RIF.

[BibT_eX]

[DOI]

Proceedings of the RuleML-2010 Challenge, 2010

Defeasibility in Answer Set Programs via Argumentation Theories.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Deriving predicate statistics in datalog.

[BibT_eX]

[DOI]

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Tabling for transaction logic.

[BibT_eX]

[DOI]

Paul Fodor

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Rule Interchange Format: Logic Programming's Second Wind?

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Ontological Reasoning with F-logic Lite and its Extensions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Ontologies in F-Logic.

[BibT_eX]

[DOI]

Jürgen Angele

Georg Lausen

Proceedings of the Handbook on Ontologies, 2009

OpenRuleBench: an analysis of the performance of rule engines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on World Wide Web, 2009

Query Answering in Belief Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Logic Programming with Defaults and Argumentation Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Semantic Web Service Choreography: Contracting and Enactment.

[BibT_eX]

[DOI]

Dumitru Roman

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Rule Interchange Format: The Framework.

[BibT_eX]

[DOI]

Proceedings of the Rule Representation, 2008

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.

[BibT_eX]

[DOI]

Dumitru Roman

Dieter Fensel

Proceedings of the Semantic Web: Research and Applications, 2008

2007

Introduction to Operating System Design and Implementation - The OSP 2 Approach.

[BibT_eX]

[DOI]

Scott A. Smolka

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-843-2, 2007

Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic.

[BibT_eX]

[DOI]

Dumitru Roman

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Semantic Web: Schism of the Languages.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Containment of Conjunctive Object Meta-Queries.

[BibT_eX]

Andrea Calì

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Rule Interchange on the Web.

[BibT_eX]

[DOI]

Harold Boley

Paula-Lavinia Patranjan

Axel Polleres

Proceedings of the Reasoning Web, 2007

2006

Inheritance in Rule-Based Frame Systems: Semantics and Inference.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Efficiently ordering subgoals with access constraints.

[BibT_eX]

[DOI]

Vinay K. Chaudhri

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005

Requirements for an Expressive Rule Language on the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions.

[BibT_eX]

[DOI]

David L. Martin

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

RuleML Position Statement.

[BibT_eX]

[DOI]

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Rules and Ontologies in F-Logic.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2005

A Realistic Architecture for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

ODBASE 2005 PC Co-Chairs' Message.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Nonmonotonic Reasoning in FLORA-2.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004

Semantic bookmarking for non-visual web access.

[BibT_eX]

[DOI]

Saikat Mukherjee

I. V. Ramakrishnan

ACM SIGACCESS Access. Comput., 2004

CTR-S: a logic for specifying contracts in semantic web services.

[BibT_eX]

[DOI]

Hasan Davulcu

I. V. Ramakrishnan

Proceedings of the 13th international conference on World Wide Web, 2004

A Logical Framework for Web Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, 2004

2003

Reasoning about Anonymous Resources and Meta Statements on the Semantic Web.

[BibT_eX]

[DOI]

J. Data Semant., 2003

Where Are the Rules?

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

Inheritance and Rules in Object-Oriented Semantic Web Languages.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

Logic Based Approaches to Workflow Modeling and Verification.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web.

[BibT_eX]

[DOI]

Chang Zhao

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

On the complexity of schema inference from web pages in the presence of nullable data attributes.

[BibT_eX]

[DOI]

I. V. Ramakrishnan

Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, 2003

2002

A Logical Framework for Scheduling Workflows under Resource Allocation Constraints.

[BibT_eX]

[DOI]

Pinar Senkul

Ismail Hakki Toroslu

Proceedings of 28th International Conference on Very Large Data Bases, 2002

On the Semantics of Anonymous Identity and Reification.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases.

[BibT_eX]

[DOI]

2001

Databases and Transaction Processing: An Application-Oriented Approach

[BibT_eX]

Philip M. Lewis

Arthur J. Bernstein

Addison-Wesley, ISBN: 0-201-70872-8, 2001

2000

Computational Aspects of Resilient Data Extraction from Semistructured Sources.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

Design and Implementation of the Physical Layer in WebBases: The XRover Experience.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.

[BibT_eX]

[DOI]

Marcelo Arenas

Leopoldo E. Bertossi

Proceedings of the Computational Logic, 2000

1999

A Layered Architecture for Querying Dynamic Web Content.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1999, 1999

Modeling and Analysis of Interactions in Virtual Enterprises.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999

1998

On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.

[BibT_eX]

[DOI]

J. ACM, 1998

Logic Based Modeling and Analysis of Workflows.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Results on Reasoning about Updates in Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Transactions and Change in Logic Databases, 1998

The State of Change: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Transactions and Change in Logic Databases, 1998

A Logic for Programming Database Transactions.

[BibT_eX]

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997

Transaction Logic: An Introduction (Abstract).

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Concurrency and Communication in Transaction Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

Forword: Deductive Object-Oriented Databases.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1995

Logical Foundations of Object-Oriented and Frame-Based Languages.

[BibT_eX]

[DOI]

Georg Lausen

J. ACM, 1995

Sorted HiLog: Sorts in Higher-Order Logic Data Languages.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1995

Deductive and Object Data Languages: A Quest for Integration.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1995

1994

An Overview of Transaction Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Applications of Transaction Logic to Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

1993

HILOG: A Foundation for Higher-Order Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1993

A Logic Programming with Complex Objects.

[BibT_eX]

[DOI]

Krishnaprasad Thirunarayan

J. Comput. Syst. Sci., 1993

A Theory of Nonmonotonic Inheritance Based on Annotated Logic.

[BibT_eX]

[DOI]

Artif. Intell., 1993

Transaction Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Database Programming in Transaction Logic.

[BibT_eX]

Mariano P. Consens

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

1992

OSP: An Environment for Operating System Projects.

[BibT_eX]

[DOI]

Scott A. Smolka

ACM SIGOPS Oper. Syst. Rev., 1992

Theory of Generalized Annotated Logic Programming and its Applications.

[BibT_eX]

[DOI]

V. S. Subrahmanian

J. Log. Program., 1992

A Logic for Reasoning with Inconsistency.

[BibT_eX]

[DOI]

J. Autom. Reason., 1992

Querying Object-Oriented Databases.

[BibT_eX]

[DOI]

Won Kim

Yehoshua Sagiv

Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

transaction Logic: An (Early) Exposé.

[BibT_eX]

Proceedings of the Formal Methods in Databases and Software Engineering, 1992

1991

A First-Order Formalism of Object-Oriented Languages.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1991

A First-Order Theory of Types and Polymorphism in Logic Programming

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990

On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1990

1989

HiLog as a Platform for Database Languages.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1989

On the Expressive Power of Annotated Logic Programs.

[BibT_eX]

V. S. Subrahmanian

Proceedings of the Logic Programming, 1989

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.

[BibT_eX]

Proceedings of the Logic Programming, 1989

F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.

[BibT_eX]

[DOI]

Georg Lausen

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

RI: A Logic for Reasoning with Inconsistency

[BibT_eX]

[DOI]

Krishnaprasad Thirunarayan

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

On the Declarative Semantics of Inheritance Networks.

[BibT_eX]

[DOI]

Krishnaprasad Thirunarayan

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

An Evidence-based Framework for a Theory of Inheritance.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Next Generation Database Management Systems Technology (Panel).

[BibT_eX]

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

SYGRAF: Implementing Logic Programs in a Database Style.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

An Axiomatic Approach to Deciding Query Safety in Deductive Databases.

[BibT_eX]

[DOI]

Raghu Ramakrishnan

Abraham Silberschatz

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

On the Semantics of Rule-Based Expert Systems with Uncertainty.

[BibT_eX]

[DOI]

Ai Li

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987

A theory of intersection anomalies in relational database schemes.

[BibT_eX]

[DOI]

J. ACM, 1987

Implementing Logic Programs as a Database System.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data Engineering, 1987

1986

An Integrated Approach to Logical Design of Relational Database Schemes.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1986

Elimination of intersection anomalies from database schemes.

[BibT_eX]

[DOI]

J. ACM, 1986

Can We Implement Logic as a Database System?

[BibT_eX]

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Filtering Data Flow in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the ICDT'86, 1986

1984

The design of schemes with desirable properties for relational databases (תכנון סכמות עם תכונות רצויות במסדי נתונים יחסיים.).

[BibT_eX]

[DOI]

PhD thesis, 1984

Comprehensive Approach to the Design of Relational Database Schemes.

[BibT_eX]

[DOI]