Travelled to:1 × Australia
1 × China
1 × Germany
1 × Hungary
1 × Italy
1 × Korea
1 × New Zealand
1 × Singapore
1 × The Netherlands
1 × United Kingdom
13 × USA
2 × Austria
Collaborated with:S.Liang G.Yang I.V.Ramakrishnan P.Fodor H.Davulcu A.J.Bonner J.Wu C.Beeri A.Calì R.Basseda M.Balaban D.Roman ∅ E.L.Lozinskii V.S.Subrahmanian G.Lausen G.Gottlob V.K.Chaudhri P.Senkul I.H.Toroslu M.Arenas L.E.Bertossi W.Kim Y.Sagiv W.Chen D.S.Warren R.Ramakrishnan A.Silberschatz J.Freire C.R.Ramakrishnan H.Wan B.N.Grosof
Talks about:logic (22) program (8) transact (7) queri (6) databas (5) order (5) object (4) web (4) constraint (3) theori (3)
Person: Michael Kifer
DBLP: Kifer:Michael
Contributed to:
2015
201320132011
2011
20102009
2008
2007
20062006
20032002
20002000
199919981997199619931992
19911989198919891989198819841983Wrote 33 papers:
- PADL-2015-BassedaK #logic #transaction #using
- State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.
- ICLP-J-2013-LiangK #analysis #logic programming #scalability #source code
- A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.
- PADL-2013-LiangK #automation #logic programming #named #scalability #source code
- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.
- ICLP-2011-FodorK #logic #transaction
- Transaction Logic with Defaults and Argumentation Theories (PF, MK), pp. 162–174.
- MoDELS-2011-BalabanK #development
- Logic-Based Model-Level Software Development with F-OML (MB, MK), pp. 517–532.
- PPDP-2010-FodorK #logic #transaction
- Tabling for transaction logic (PF, MK), pp. 199–208.
- PPDP-2010-LiangK #datalog #statistics
- Deriving predicate statistics in datalog (SL, MK), pp. 45–56.
- ICLP-2009-WanGKFL #logic programming
- Logic Programming with Defaults and Argumentation Theories (HW, BNG, MK, PF, SL), pp. 432–448.
- KR-2008-CaliGK #constraints #infinity #query #relational
- Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (AC, GG, MK), pp. 70–80.
- VLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #transaction #web #web service
- Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.
- PODS-2006-YangKC #constraints
- Efficiently ordering subgoals with access constraints (GY, MK, VKC), pp. 183–192.
- VLDB-2006-CaliK
- Containment of Conjunctive Object Meta-Queries (AC, MK), pp. 942–952.
- CIKM-2003-YangRK #complexity #on the #web
- On the complexity of schema inference from web pages in the presence of nullable data attributes (GY, IVR, MK), pp. 224–231.
- VLDB-2002-SenkulKT #constraints #framework #logic #resource management #scheduling #workflow
- A Logical Framework for Scheduling Workflows under Resource Allocation Constraints (PS, MK, IHT), pp. 694–705.
- CL-2000-ArenasBK #calculus #consistency #database #query
- Applications of Annotated Predicate Calculus to Querying Inconsistent Databases (MA, LEB, MK), pp. 926–941.
- CL-2000-DavulcuYKR #design #experience #implementation #physics
- Design and Implementation of the Physical Layer in WebBases: The XRover Experience (HD, GY, MK, IVR), pp. 1094–1105.
- CL-2000-YangK #implementation #logic #named #performance #using
- FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine (GY, MK), pp. 1078–1093.
- PODS-2000-DavulcuYKR #aspect-oriented
- Computational Aspects of Resilient Data Extraction from Semistructured Sources (HD, GY, MK, IVR), pp. 136–144.
- SIGMOD-1999-DavulcuFKR #architecture #query #web
- A Layered Architecture for Querying Dynamic Web Content (HD, JF, MK, IVR), pp. 491–502.
- PODS-1998-DavulcuKRR #analysis #logic #modelling #workflow
- Logic Based Modeling and Analysis of Workflows (HD, MK, CRR, IVR), pp. 25–33.
- ILPS-1997-Kifer #logic #transaction
- Transaction Logic: An Introduction (MK), pp. 47–48.
- JICSLP-1996-BonnerK #communication #concurrent #logic #transaction
- Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.
- ICLP-1993-BonnerK #logic programming #transaction
- Transaction Logic Programming (AJB, MK), pp. 257–279.
- SIGMOD-1992-KiferKS #database #object-oriented #query
- Querying Object-Oriented Databases (MK, WK, YS), pp. 393–402.
- LICS-1991-KiferW #first-order #logic programming #morphism #polymorphism
- A First-Order Theory of Types and Polymorphism in Logic Programming (MK, JW), pp. 310–321.
- LICS-1989-KiferL #consistency #logic #named #nondeterminism #reasoning
- RI: A Logic for Reasoning with Inconsistency (MK, ELL), pp. 253–262.
- NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics
- HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.
- NACLP-1989-KiferS #logic programming #on the #power of #source code
- On the Expressive Power of Annotated Logic Programs (MK, VSS), pp. 1069–1089.
- PODS-1989-KiferW #logic programming #object-oriented
- A Logic for Object-Oriented Logic Programming (Maier’s O-Logic Revisited) (MK, JW), pp. 379–393.
- SIGMOD-1989-KiferL #higher-order #inheritance #named #reasoning
- F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme (MK, GL), pp. 134–146.
- PODS-1988-KiferRS #approach #axiom #database #deduction #query #safety
- An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.
- VLDB-1984-BeeriK #approach #database #design #relational
- Comprehensive Approach to the Design of Relational Database Schemes (CB, MK), pp. 196–207.
- PODS-1983-BeeriK #database
- Elimination of Intersection Anomalies from Database Schemes (CB, MK), pp. 340–351.