| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martín Rezk, Michael Kifer |
Formalizing Production Systems with Rule-Based Ontologies.  |
FoIKS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Fodor, Michael Kifer |
Transaction Logic with Defaults and Argumentation Theories. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Rezk, Michael Kifer |
Reasoning with Actions in Transaction Logic. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Rezk, Michael Kifer |
On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Michael Kifer |
Logic-Based Model-Level Software Development with F-OML. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Michael Kifer |
An Overview of F-OML: An F-Logic Based Object Modeling Language. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley, Michael Kifer |
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
F-logic, XML, Logic programming, equality, deduction, IRI, mathematical logic, RIF, Horn logic |
| 1 | Hui Wan, Michael Kifer, Benjamin N. Grosof |
Defeasibility in Answer Set Programs via Argumentation Theories. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Fodor, Michael Kifer |
Tabling for transaction logic. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Senlin Liang, Michael Kifer |
Deriving predicate statistics in datalog. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
argument dependency, derived predicate statistics, query optimization, cost estimate |
| 1 | Michael Kifer |
Rule Interchange Format: Logic Programming's Second Wind? |
ILP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris |
Ontological Reasoning with F-logic Lite and its Extensions. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hui Wan, Michael Kifer |
Query Answering in Belief Logic Programming. |
SUM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
Logic Programming with Defaults and Argumentation Theories. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Defeasible reasoning, well-founded models, argumentation theory |
| 1 | Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer |
OpenRuleBench: an analysis of the performance of rule engines. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
openrulebench, semantic web, benchmark, rule systems |
| 1 | Hui Wan, Michael Kifer |
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Roman, Michael Kifer, Dieter Fensel |
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Michael Kifer |
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
Rule Interchange Format: The Framework. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer |
Rule Interchange Format: The Framework. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Georg Gottlob, Michael Kifer |
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dumitru Roman, Michael Kifer |
Semantic Web Service Choreography: Contracting and Enactment. |
International Semantic Web Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.) |
Journal on Data Semantics VIII |
J. Data Semantics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.) |
Journal on Data Semantics IX |
J. Data Semantics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Michael Kifer, Wolfgang May (eds.) |
The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings |
ESWC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Michael Kifer |
Containment of Conjunctive Object Meta-Queries. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
Semantic Web: Schism of the Languages. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dumitru Roman, Michael Kifer |
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres |
Rule Interchange on the Web. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer |
Inheritance in Rule-Based Frame Systems: Semantics and Inference. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Michael Kifer |
Containment of Conjunctive Object Meta-Queries. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer, Vinay K. Chaudhri |
Efficiently ordering subgoals with access constraints. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
binding pattern, nonrecursive datalog, query, executability |
| 1 | Benjamin N. Grosof, Michael Kifer, David L. Martin |
Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
Requirements for an Expressive Rule Language on the Semantic Web. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner |
RuleML Position Statement. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra (eds.) |
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I |
OTM Conferences |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
ODBASE 2005 PC Co-Chairs' Message. |
OTM Conferences |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra (eds.) |
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II |
OTM Conferences |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
Nonmonotonic Reasoning in FLORA-2. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel |
A Realistic Architecture for the Semantic Web. |
RuleML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer |
Rules and Ontologies in F-Logic. |
Reasoning Web |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan |
CTR-S: a logic for specifying contracts in semantic web services. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
web services, services composition, contracts |
| 1 | Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer |
Semantic bookmarking for non-visual web access. |
ASSETS |
2004 |
DBLP DOI BibTeX RDF |
assistive browsing, semantic partitioning, bookmarks |
| 1 | Guizhen Yang, Michael Kifer |
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. |
J. Data Semantics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner |
Where Are the Rules? |
IEEE Intelligent Systems |
2003 |
DBLP DOI BibTeX RDF |
Semantic Web, Web Ontology Language, rules |
| 1 | Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang |
Logic Based Approaches to Workflow Modeling and Verification. |
Logics for Emerging Applications of Databases |
2003 |
DBLP BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer |
Inheritance and Rules in Object-Oriented Semantic Web Languages. |
RuleML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer, Chang Zhao |
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. |
CoopIS/DOA/ODBASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guizhen Yang, I. V. Ramakrishnan, Michael Kifer |
On the complexity of schema inference from web pages in the presence of nullable data attributes. |
CIKM |
2003 |
DBLP DOI BibTeX RDF |
data mining, machine learning, world wide web, web mining, data extraction, wrapper induction, schema inference |
| 1 | Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu |
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. |
VLDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer |
On the Semantics of Anonymous Identity and Reification. |
CoopIS/DOA/ODBASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer |
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. |
CoopIS/DOA/ODBASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip M. Lewis, Arthur J. Bernstein, Michael Kifer |
Databases and Transaction Processing: An Application-Oriented Approach |
|
2001 |
RDF |
|
| 1 | Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan |
Computational Aspects of Resilient Data Extraction from Semistructured Sources. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan |
Design and Implementation of the Physical Layer in WebBases: The XRover Experience. |
Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Guizhen Yang, Michael Kifer |
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer |
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Franconi, Michael Kifer (eds.) |
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999 |
|
1999 |
DBLP BibTeX RDF |
|
| 1 | Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan |
A Layered Architecture for Querying Dynamic Web Content. |
SIGMOD Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson |
Modeling and Analysis of Interactions in Virtual Enterprises. (PDF / PS) |
RIDE |
1999 |
DBLP DOI BibTeX RDF |
transaction logic, security, verification, workflows, mediation, Virtual enterprises, temporal dependencies |
| 1 | Michael Kifer |
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization |
| 1 | Anthony J. Bonner, Michael Kifer |
Results on Reasoning about Updates in Transaction Logic. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
The State of Change: A Survey. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
A Logic for Programming Database Transactions. |
Logics for Databases and Information Systems |
1998 |
DBLP BibTeX RDF |
|
| 1 | Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (eds.) |
Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers |
Transactions and Change in Logic Databases |
1998 |
DBLP BibTeX RDF |
|
| 1 | Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan |
Logic Based Modeling and Analysis of Workflows. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer |
Transaction Logic: An Introduction (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
Concurrency and Communication in Transaction Logic. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, Georg Lausen, James Wu |
Logical Foundations of Object-Oriented and Frame-Based Languages. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
frame-based languages, nonmonotonic inheritance, semantics, object-oriented programming, logic programming, deductive databases, typing, proof theory |
| 1 | Michael Kifer |
Forword: Deductive Object-Oriented Databases. |
J. Intell. Inf. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer |
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer |
Deductive and Object Data Languages: A Quest for Integration. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
An Overview of Transaction Logic. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
Applications of Transaction Logic to Knowledge Representation. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HILOG: A Foundation for Higher-Order Logic Programming. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnaprasad Thirunarayan, Michael Kifer |
A Theory of Nonmonotonic Inheritance Based on Annotated Logic. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, James Wu |
A Logic Programming with Complex Objects. |
J. Comput. Syst. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
Transaction Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer, Mariano P. Consens |
Database Programming in Transaction Logic. |
DBPL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, V. S. Subrahmanian |
Theory of Generalized Annotated Logic Programming and its Applications. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, Eliezer L. Lozinskii |
A Logic for Reasoning with Inconsistency. |
J. Autom. Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, Scott A. Smolka |
OSP: An Environment for Operating System Projects. |
Operating Systems Review |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, Won Kim, Yehoshua Sagiv |
Querying Object-Oriented Databases. |
SIGMOD Conference |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
transaction Logic: An (Early) Exposé. |
Formal Methods in Databases and Software Engineering |
1992 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
A First-Order Formalism of Object-Oriented Languages. |
IEEE Data Eng. Bull. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, James Wu |
A First-Order Theory of Types and Polymorphism in Logic Programming |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Delobel, Michael Kifer, Yoshifumi Masunaga (eds.) |
Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings |
DOOD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, Eliezer L. Lozinskii |
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
recursive rules, filtering, projection, selection, inference, deductive databases, dataflow, graph representation, fixpoint |
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HiLog as a Platform for Database Languages. |
IEEE Data Eng. Bull. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Krishnaprasad Thirunarayan, Michael Kifer |
An Evidence-based Framework for a Theory of Inheritance. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren |
On the Declarative Semantics of Inheritance Networks. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, V. S. Subrahmanian |
On the Expressive Power of Annotated Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, Georg Lausen |
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Weidong Chen, Michael Kifer, David Scott Warren |
HiLog as a Platform for Database Languages. |
DBPL |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, Eliezer L. Lozinskii |
RI: A Logic for Reasoning with Inconsistency |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael L. Brodie, François Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Saberdoti, Katsumi Tanaka |
Next Generation Database Management Systems Technology (Panel). |
DOOD |
1989 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer, James Wu |
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, Eliezer L. Lozinskii |
SYGRAF: Implementing Logic Programs in a Database Style. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
SYGRAF, Horn logic programs, function symbols, parallel programming, logic programming, logic programming, query optimization, database theory, deductive databases, programming theory, formal logic, bottom-up evaluation |
| 1 | Michael Kifer |
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). |
JCDKB |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")