default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Kifer
Person information
- affiliation: Stony Brook University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c103]Theresa Swift
, Michael Kifer:
Multi-paradigm Logic Programming in the ErgoAI System. LPNMR 2024: 126-139- 2023
- [j32]Yuheng Wang, Paul Fodor, Michael Kifer:
Knowledge Authoring for Rules and Actions. Theory Pract. Log. Program. 23(4): 797-811 (2023) - [c102]Mira Balaban, Michael Kifer, Azzam Maraee:
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) 2023: 635-638 - [p3]Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236 - [i5]Yuheng Wang, Paul Fodor, Michael Kifer:
Knowledge Authoring for Rules and Actions. CoRR abs/2305.07763 (2023) - 2022
- [c101]Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer:
Mediation-based MLM in FOModeLer. MoDELS (Companion) 2022: 444-452 - [c100]Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer:
Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium 2022: 107-122 - 2020
- [j31]Mira Balaban, Igal Khitron, Michael Kifer:
Logic-based Software Modeling with FOML. J. Object Technol. 19(3): 3:1-21 (2020)
2010 – 2019
- 2019
- [j30]Tiantian Gao, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. 19(5-6): 636-653 (2019) - [i4]Tiantian Gao, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. CoRR abs/1907.08176 (2019) - 2018
- [j29]Dumitru Roman, Michael Kifer:
ServLog: A unifying logical framework for service modeling and contracting. Semantic Web 9(2): 257-290 (2018) - [c99]Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Formal Executable Theory of Multilevel Modeling. CAiSE 2018: 391-406 - [c98]Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) 2018: 693-697 - [c97]Tiantian Gao, Paul Fodor, Michael Kifer:
Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) 2018: 461-480 - [c96]Tiantian Gao, Paul Fodor, Michael Kifer:
High Accuracy Question Answering via Hybrid Controlled Natural Language. WI 2018: 17-24 - [p2]David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren:
Datalog: concepts, history, and outlook. Declarative Logic Programming 2018: 3-100 - [e10]Michael Kifer, Yanhong Annie Liu:
Declarative Logic Programming: Theory, Systems, and Applications. ACM Books 20, ACM / Morgan & Claypool 2018, ISBN 978-1-97000-199-0 [contents] - [r3]Michael Kifer:
RIF: The Rule Interchange Format. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [c95]Benjamin N. Grosof, Michael Kifer, Paul Fodor:
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) 2017 - [e9]Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9885, Springer 2017, ISBN 978-3-319-49492-0 [contents] - 2016
- [j28]Tiantian Gao, Paul Fodor, Michael Kifer:
Paraconsistency and word puzzles. Theory Pract. Log. Program. 16(5-6): 703-720 (2016) - [c94]Reza Basseda, Michael Kifer:
Formalizing Goal Serializability for Evaluation of Planning Features. JELIA 2016: 515-521 - [c93]Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer:
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS 2016: 57-72 - [c92]Mira Balaban, Igal Khitron, Michael Kifer:
Multilevel Modeling and Reasoning with FOML. SwSTE 2016: 61-70 - [i3]Tiantian Gao, Paul Fodor, Michael Kifer:
Paraconsistency and Word Puzzles. CoRR abs/1608.01338 (2016) - 2015
- [j27]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web 6(1): 81-98 (2015) - [c91]Reza Basseda, Michael Kifer:
State Space Planning Using Transaction Logic. PADL 2015: 17-33 - [c90]Reza Basseda, Michael Kifer:
Planning with Regression Analysis in Transaction Logic. RR 2015: 45-60 - [c89]Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell:
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. RuleML 2015: 376-387 - [c88]Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift:
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML 2015 - [c87]Benjamin N. Grosof, Michael Kifer, Paul Fodor:
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web 2015: 189-192 - 2014
- [c86]Reza Basseda, Michael Kifer, Anthony J. Bonner:
Planning with Transaction Logic. RR 2014: 29-44 - [r2]Michael Kifer:
RIF: The Rule Interchange Format. Encyclopedia of Social Network Analysis and Mining 2014: 1586-1588 - 2013
- [j26]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. J. Artif. Intell. Res. 48: 115-174 (2013) - [j25]Senlin Liang, Michael Kifer:
A practical analysis of non-termination in large logic programs. Theory Pract. Log. Program. 13(4-5): 705-719 (2013) - [c85]Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor:
Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops 2013: 274-277 - [c84]Senlin Liang, Michael Kifer:
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. PADL 2013: 173-189 - [c83]Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) 2013 - [i2]Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Understanding Rulelog Computations in Silk. CoRR abs/1308.4125 (2013) - 2012
- [j24]Martín Rezk, Michael Kifer:
Transaction Logic with Partially Defined Actions. J. Data Semant. 1(2): 99-131 (2012) - [c82]Martín Rezk, Michael Kifer:
Formalizing Production Systems with Rule-Based Ontologies. FoIKS 2012: 332-351 - [c81]Senlin Liang, Michael Kifer:
Deriving Predicate Statistics for Logic Rules. RR 2012: 139-155 - [i1]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints. CoRR abs/1212.3357 (2012) - 2011
- [c80]Paul Fodor, Michael Kifer:
Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) 2011: 162-174 - [c79]Mira Balaban, Michael Kifer:
Logic-Based Model-Level Software Development with F-OML. MoDELS 2011: 517-532 - [c78]Martín Rezk, Michael Kifer:
On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. RR 2011: 185-200 - [c77]Martín Rezk, Michael Kifer:
Reasoning with Actions in Transaction Logic. RR 2011: 201-216 - [r1]Michael Kifer:
KR and Reasoning on the Semantic Web: RIF. Handbook of Semantic Web Technologies 2011: 399-439 - 2010
- [j23]Mira Balaban, Michael Kifer:
An Overview of F-OML: An F-Logic Based Object Modeling Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [j22]Harold Boley, Michael Kifer:
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22(11): 1593-1608 (2010) - [c76]Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris:
Ontological Reasoning with F-logic Lite and its Extensions. AAAI 2010: 1660-1665 - [c75]Michael Kifer:
Rule Interchange Format: Logic Programming's Second Wind? ILP 2010: 1 - [c74]Senlin Liang, Michael Kifer:
Deriving predicate statistics in datalog. PPDP 2010: 45-56 - [c73]Paul Fodor, Michael Kifer:
Tabling for transaction logic. PPDP 2010: 199-208 - [c72]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in Answer Set Programs via Argumentation Theories. RR 2010: 149-163 - [c71]Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer:
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge 2010
2000 – 2009
- 2009
- [c70]Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang:
Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448 - [c69]Hui Wan, Michael Kifer:
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. LPNMR 2009: 316-328 - [c68]Hui Wan, Michael Kifer:
Query Answering in Belief Logic Programming. SUM 2009: 268-281 - [c67]Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer:
OpenRuleBench: an analysis of the performance of rule engines. WWW 2009: 601-610 - [p1]Jürgen Angele, Michael Kifer, Georg Lausen:
Ontologies in F-Logic. Handbook on Ontologies 2009: 45-70 - 2008
- [c66]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics 2008 - [c65]Dumitru Roman, Michael Kifer, Dieter Fensel:
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. ESWC 2008: 659-673 - [c64]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR 2008: 70-80 - [c63]Michael Kifer:
Rule Interchange Format: The Framework. RR 2008: 1-11 - [c62]Michael Kifer:
Rule Interchange Format: The Framework. RuleML 2008: 1-2 - [c61]Dumitru Roman, Michael Kifer:
Semantic Web Service Choreography: Contracting and Enactment. ISWC 2008: 550-566 - 2007
- [b3]Michael Kifer, Scott A. Smolka:
Introduction to Operating System Design and Implementation - The OSP 2 Approach. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-842-5, pp. I-XII, 1-172 - [c60]Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres:
Rule Interchange on the Web. Reasoning Web 2007: 269-309 - [c59]Michael Kifer:
Semantic Web: Schism of the Languages. SEBD 2007: 3 - [c58]Andrea Calì, Michael Kifer:
Containment of Conjunctive Object Meta-Queries. SEBD 2007: 308-315 - [c57]Dumitru Roman, Michael Kifer:
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. VLDB 2007: 627-638 - [e8]Enrico Franconi, Michael Kifer, Wolfgang May:
The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4519, Springer 2007, ISBN 978-3-540-72666-1 [contents] - [e7]Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu:
Journal on Data Semantics VIII. Lecture Notes in Computer Science 4380, Springer 2007, ISBN 978-3-540-70663-2 [contents] - [e6]Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu:
Journal on Data Semantics IX. Lecture Notes in Computer Science 4601, Springer 2007, ISBN 978-3-540-74982-0 [contents] - 2006
- [j21]Guizhen Yang, Michael Kifer:
Inheritance in Rule-Based Frame Systems: Semantics and Inference. J. Data Semant.: 79-135 (2006) - [c56]Guizhen Yang, Michael Kifer, Vinay K. Chaudhri:
Efficiently ordering subgoals with access constraints. PODS 2006: 183-192 - [c55]Andrea Calì, Michael Kifer:
Containment of Conjunctive Object Meta-Queries. VLDB 2006: 942-952 - 2005
- [c54]Michael Kifer:
Nonmonotonic Reasoning in FLORA-2. LPNMR 2005: 1-12 - [c53]Michael Kifer:
ODBASE 2005 PC Co-Chairs' Message. OTM Conferences (2) 2005: 1151-1151 - [c52]Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel:
A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29 - [c51]Michael Kifer:
Rules and Ontologies in F-Logic. Reasoning Web 2005: 22-34 - [c50]Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005 - [c49]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 - [c48]Michael Kifer:
Requirements for an Expressive Rule Language on the Semantic Web. Rule Languages for Interoperability 2005 - [e5]Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra:
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. Lecture Notes in Computer Science 3760, Springer 2005, ISBN 3-540-29736-7 [contents] - [e4]Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra:
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. Lecture Notes in Computer Science 3761, Springer 2005, ISBN 3-540-29738-3 [contents] - 2004
- [j20]Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer:
Semantic bookmarking for non-visual web access. ACM SIGACCESS Access. Comput. 77-78: 185-192 (2004) - [c47]Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer:
Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192 - [c46]Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, Dieter Fensel:
A Logical Framework for Web Service Discovery. SWS@ISWC 2004 - [c45]Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan:
CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) 2004: 144-153 - 2003
- [j19]Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner:
Where Are the Rules? IEEE Intell. Syst. 18(5): 76-83 (2003) - [j18]Guizhen Yang, Michael Kifer:
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semant. 1: 69-97 (2003) - [c44]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: 224-231 - [c43]Guizhen Yang, Michael Kifer, Chang Zhao:
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. OTM 2003: 671-688 - [c42]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: 167-202 - [c41]Guizhen Yang, Michael Kifer:
Inheritance and Rules in Object-Oriented Semantic Web Languages. RuleML 2003: 95-110 - 2002
- [c40]Guizhen Yang, Michael Kifer:
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. OTM 2002: 1013-1032 - [c39]Guizhen Yang, Michael Kifer:
On the Semantics of Anonymous Identity and Reification. OTM 2002: 1047-1066 - [c38]Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu:
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB 2002: 694-705 - 2001
- [b2]Philip M. Lewis, Arthur J. Bernstein, Michael Kifer:
Databases and Transaction Processing: An Application-Oriented Approach. Addison-Wesley 2001, ISBN 0-201-70872-8 - 2000
- [c37]Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer:
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941 - [c36]Guizhen Yang, Michael Kifer:
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic 2000: 1078-1093 - [c35]Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan:
Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic 2000: 1094-1105 - [c34]Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan:
Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144
1990 – 1999
- 1999
- [c33]Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson:
Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999: 12-18 - [c32]Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan:
A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502 - [e3]Enrico Franconi, Michael Kifer:
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999. CEUR Workshop Proceedings 21, CEUR-WS.org 1999 [contents] - 1998
- [j17]Michael Kifer:
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM 45(4): 588-633 (1998) - [c31]Anthony J. Bonner, Michael Kifer:
The State of Change: A Survey. Transactions and Change in Logic Databases 1998: 1-36 - [c30]Anthony J. Bonner, Michael Kifer:
A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998: 117-166 - [c29]Anthony J. Bonner, Michael Kifer:
Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998: 166-196 - [c28]Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan:
Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 - [e2]Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov:
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. Lecture Notes in Computer Science 1472, Springer 1998, ISBN 3-540-65305-8 [contents] - 1997
- [c27]Michael Kifer:
Transaction Logic: An Introduction (Abstract). ILPS 1997: 47-48 - 1996
- [c26]Anthony J. Bonner, Michael Kifer:
Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156 - 1995
- [j16]Michael Kifer, Georg Lausen, James Wu:
Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843 (1995) - [j15]Michael Kifer:
Forword: Deductive Object-Oriented Databases. J. Intell. Inf. Syst. 4(2): 119-121 (1995) - [c25]Michael Kifer:
Deductive and Object Data Languages: A Quest for Integration. DOOD 1995: 187-212 - [c24]Weidong Chen, Michael Kifer:
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265 - 1994
- [j14]