The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Kifer" ( http://dblp.L3S.de/Authors/Michael_Kifer )

URL (Homepage):  http://www.cs.sunysb.edu/~kifer/  Author page on DBLP  Author page in RDF  Community of Michael Kifer in ASPL-2

Publication years (Num. hits)
1983-1989 (22) 1990-1994 (16) 1995-1999 (15) 2000-2004 (18) 2005-2007 (20) 2008-2010 (19) 2011-2013 (15) 2014-2017 (15) 2018 (8)
Publication types (Num. hits)
article(30) book(3) incollection(5) inproceedings(101) proceedings(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 57 keywords

Results
Found 149 publication records. Showing 148 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dumitru Roman, Michael Kifer ServLog: A unifying logical framework for service modeling and contracting. Search on Bibsonomy Semantic Web The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Kifer RIF: The Rule Interchange Format. Search on Bibsonomy Encyclopedia of Social Network Analysis and Mining. 2nd Ed. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Kifer, Yanhong Annie Liu (eds.) Declarative Logic Programming: Theory, Systems, and Applications Search on Bibsonomy 2018 DBLP  DOI  BibTeX  RDF
1David Maier 0001, K. Tuncay Tekle, Michael Kifer, David Scott Warren Datalog: concepts, history, and outlook. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee Multilevel modeling: what's in a level? A position paper. Search on Bibsonomy MODELS Workshops The full citation details ... 2018 DBLP  BibTeX  RDF
1Tiantian Gao, Paul Fodor, Michael Kifer High Accuracy Question Answering via Hybrid Controlled Natural Language. Search on Bibsonomy WI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tiantian Gao, Paul Fodor, Michael Kifer Knowledge Authoring for Rule-Based Reasoning. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee Formal Executable Theory of Multilevel Modeling. Search on Bibsonomy CAiSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin N. Grosof, Michael Kifer, Paul Fodor Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2017 DBLP  BibTeX  RDF
1Tiantian Gao, Paul Fodor, Michael Kifer Paraconsistency and Word Puzzles. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tiantian Gao, Paul Fodor, Michael Kifer Paraconsistency and word puzzles. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. Search on Bibsonomy OCL@MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Reza Basseda, Michael Kifer Formalizing Goal Serializability for Evaluation of Planning Features. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mira Balaban, Igal Khitron, Michael Kifer Multilevel Modeling and Reasoning with FOML. Search on Bibsonomy SwSTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hui Wan, Michael Kifer, Benjamin N. Grosof Defeasibility in answer set programs with defaults and argumentation rules. Search on Bibsonomy Semantic Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin N. Grosof, Michael Kifer, Paul Fodor The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. Search on Bibsonomy RuleML The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin 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. Search on Bibsonomy Challenge+DC@RuleML The full citation details ... 2015 DBLP  BibTeX  RDF
1Reza Basseda, Michael Kifer Planning with Regression Analysis in Transaction Logic. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Basseda, Michael Kifer State Space Planning Using Transaction Logic. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Kifer RIF: The Rule Interchange Format. Search on Bibsonomy Encyclopedia of Social Network Analysis and Mining The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Basseda, Michael Kifer, Anthony J. Bonner Planning with Transaction Logic. Search on Bibsonomy RR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrea Calì, Georg Gottlob, Michael Kifer Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift Understanding Rulelog Computations in Silk. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Senlin Liang, Michael Kifer A practical analysis of non-termination in large logic programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor Developing Troubleshooting Systems Using Ontologies. Search on Bibsonomy Web Intelligence/IAT Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift Advanced Knowledge Base Debugging for Rulelog. Search on Bibsonomy RuleML (2) The full citation details ... 2013 DBLP  BibTeX  RDF
1Senlin Liang, Michael Kifer Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martín Rezk, Michael Kifer Transaction Logic with Partially Defined Actions. Search on Bibsonomy J. Data Semantics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrea Calì, Georg Gottlob, Michael Kifer Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Senlin Liang, Michael Kifer Deriving Predicate Statistics for Logic Rules. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martín Rezk, Michael Kifer Formalizing Production Systems with Rule-Based Ontologies. Search on Bibsonomy FoIKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Kifer KR and Reasoning on the Semantic Web: RIF. Search on Bibsonomy Handbook of Semantic Web Technologies The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mira Balaban, Michael Kifer Logic-Based Model-Level Software Development with F-OML. Search on Bibsonomy MoDELS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Fodor, Michael Kifer Transaction Logic with Defaults and Argumentation Theories. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martín Rezk, Michael Kifer Reasoning with Actions in Transaction Logic. Search on Bibsonomy RR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martín Rezk, Michael Kifer On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. Search on Bibsonomy RR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Harold Boley, Michael Kifer A Guide to the Basic Logic Dialect for Rule Interchange on the Web. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF F-logic, XML, Logic programming, equality, deduction, IRI, mathematical logic, RIF, Horn logic
1Mira Balaban, Michael Kifer An Overview of F-OML: An F-Logic Based Object Modeling Language. Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Kifer Rule Interchange Format: Logic Programming's Second Wind? Search on Bibsonomy ILP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris Ontological Reasoning with F-logic Lite and its Extensions. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer Omni-directional Hyper Logic Programs in SILK and RIF. Search on Bibsonomy RuleML Challenge The full citation details ... 2010 DBLP  BibTeX  RDF
1Senlin Liang, Michael Kifer Deriving predicate statistics in datalog. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF argument dependency, derived predicate statistics, query optimization, cost estimate
1Paul Fodor, Michael Kifer Tabling for transaction logic. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hui Wan, Michael Kifer, Benjamin N. Grosof Defeasibility in Answer Set Programs via Argumentation Theories. Search on Bibsonomy RR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hui Wan, Michael Kifer Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer OpenRuleBench: an analysis of the performance of rule engines. Search on Bibsonomy WWW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF openrulebench, semantic web, benchmark, rule systems
1Hui Wan, Michael Kifer Query Answering in Belief Logic Programming. Search on Bibsonomy SUM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang Logic Programming with Defaults and Argumentation Theories. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Defeasible reasoning, well-founded models, argumentation theory
1Jürgen Angele, Michael Kifer, Georg Lausen Ontologies in F-Logic. Search on Bibsonomy Handbook on Ontologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dumitru Roman, Michael Kifer, Dieter Fensel WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dumitru Roman, Michael Kifer Semantic Web Service Choreography: Contracting and Enactment. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrea Calì, Georg Gottlob, Michael Kifer Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Andrea Calì, Georg Gottlob, Michael Kifer Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Kifer Rule Interchange Format: The Framework. Search on Bibsonomy RuleML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Kifer Rule Interchange Format: The Framework. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefano 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 Search on Bibsonomy J. Data Semantics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stefano 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 Search on Bibsonomy J. Data Semantics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dumitru Roman, Michael Kifer Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. Search on Bibsonomy VLDB The full citation details ... 2007 DBLP  BibTeX  RDF
1Enrico 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 Search on Bibsonomy ESWC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres Rule Interchange on the Web. Search on Bibsonomy Reasoning Web The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Kifer Semantic Web: Schism of the Languages. Search on Bibsonomy SEBD The full citation details ... 2007 DBLP  BibTeX  RDF
1Andrea Calì, Michael Kifer Containment of Conjunctive Object Meta-Queries. Search on Bibsonomy SEBD The full citation details ... 2007 DBLP  BibTeX  RDF
1Michael Kifer, Scott A. Smolka Introduction to Operating System Design and Implementation - The OSP 2 Approach. Search on Bibsonomy 2007   DOI  RDF
1Guizhen Yang, Michael Kifer Inheritance in Rule-Based Frame Systems: Semantics and Inference. Search on Bibsonomy J. Data Semantics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrea Calì, Michael Kifer Containment of Conjunctive Object Meta-Queries. (PDF / PS) Search on Bibsonomy VLDB The full citation details ... 2006 DBLP  BibTeX  RDF
1Guizhen Yang, Michael Kifer, Vinay K. Chaudhri Efficiently ordering subgoals with access constraints. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF binding pattern, nonrecursive datalog, query, executability
1Michael Kifer Nonmonotonic Reasoning in FLORA-2. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner RuleML Position Statement. Search on Bibsonomy Rule Languages for Interoperability The full citation details ... 2005 DBLP  BibTeX  RDF
1Benjamin N. Grosof, Michael Kifer, David L. Martin 0001 Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. Search on Bibsonomy Rule Languages for Interoperability The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Kifer Requirements for an Expressive Rule Language on the Semantic Web. Search on Bibsonomy Rule Languages for Interoperability The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Kifer Rules and Ontologies in F-Logic. Search on Bibsonomy Reasoning Web The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robert 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 Search on Bibsonomy OTM Conferences (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robert 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 Search on Bibsonomy OTM Conferences (1) The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Kifer ODBASE 2005 PC Co-Chairs' Message. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel A Realistic Architecture for the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer Semantic bookmarking for non-visual web access. Search on Bibsonomy ACM SIGACCESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan CTR-S: a logic for specifying contracts in semantic web services. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF web services, services composition, contracts
1Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, Dieter Fensel A Logical Framework for Web Service Discovery. Search on Bibsonomy SWS@ISWC The full citation details ... 2004 DBLP  BibTeX  RDF
1Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer Semantic bookmarking for non-visual web access. Search on Bibsonomy ASSETS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF assistive browsing, semantic partitioning, bookmarks
1Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner Where Are the Rules? Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Semantic Web, Web Ontology Language, rules
1Guizhen Yang, Michael Kifer Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Guizhen Yang, Michael Kifer, Chang Zhao Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang Logic Based Approaches to Workflow Modeling and Verification. Search on Bibsonomy Logics for Emerging Applications of Databases The full citation details ... 2003 DBLP  BibTeX  RDF
1Guizhen Yang, Michael Kifer Inheritance and Rules in Object-Oriented Semantic Web Languages. Search on Bibsonomy RuleML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Guizhen Yang, I. V. Ramakrishnan, Michael Kifer On the complexity of schema inference from web pages in the presence of nullable data attributes. Search on Bibsonomy CIKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data mining, machine learning, world wide web, web mining, data extraction, wrapper induction, schema inference
1Guizhen Yang, Michael Kifer On the Semantics of Anonymous Identity and Reification. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Guizhen Yang, Michael Kifer Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. (PDF / PS) Search on Bibsonomy VLDB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Philip M. Lewis, Arthur J. Bernstein, Michael Kifer Databases and Transaction Processing: An Application-Oriented Approach Search on Bibsonomy 2001   RDF
1Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Guizhen Yang, Michael Kifer FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan Computational Aspects of Resilient Data Extraction from Semistructured Sources. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson Modeling and Analysis of Interactions in Virtual Enterprises. Search on Bibsonomy RIDE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF transaction logic, security, verification, workflows, mediation, Virtual enterprises, temporal dependencies
1Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan A Layered Architecture for Querying Dynamic Web Content. Search on Bibsonomy SIGMOD Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Enrico Franconi, Michael Kifer (eds.) Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999 Search on Bibsonomy 1999 DBLP  BibTeX  RDF
1Michael Kifer On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. Search on Bibsonomy J. ACM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization
1Anthony J. Bonner, Michael Kifer Results on Reasoning about Updates in Transaction Logic. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 148 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license