scientific article; zbMATH DE number 4185010

From MaRDI portal
Publication:5750390

zbMath0718.68019MaRDI QIDQ5750390

Vladimir Lifschitz

Publication date: 1988


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.


Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (37)

A three-valued semantics for deductive databases and logic programsReasoning about action. I: A possible worlds approachReasoning about action. II: The qualification problemNonmonotonic logic and temporal projectionOn the relationship between circumscription and negation as failureStratification and knowledge base managementCircumscribing DATALOG: expressive power and complexityWell-founded and stationary models of logic programsComplexity and undecidability results for logic programmingEngineering and compiling planning domain models to promote validity and efficiencyDefaults in domain theoryEmbedding circumscriptive theories in general disjunctive programsRamification and causalityGeneral logical databases and programs: Default logic semantics and stratificationThree-valued nonmonotonic formalisms and semantics of logic programsA non-reified temporal logicAbstract minimality and circumscriptionA theory of nonmonotonic inheritance based on annotated logicThe alternating fixpoint of logic programs with negationA logic of knowledge and justified assumptionStatic filtering on stratified programsGraph properties for normal logic programsHow does a box work? A study in the qualitative dynamics of solid objectsThirteen Definitions of a Stable ModelCircumscriptive theories: A logic-based framework for knowledge representationNegation in rule-based database languages: A surveyNegation by default and unstratifiable logic programsThe logical foundations of goal-regression planning in autonomous agentsIndefinite abductive explanationsFirst-order stable model semantics with intensional functionsTwelve Definitions of a Stable ModelThe expressive power of stratified logic programsThe complexity of predicate default logic over a countable domainLogic programming and knowledge representation---The A-Prolog perspectiveExtending and implementing the stable model semanticsModeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about changeCompleteness results for circumscription




This page was built for publication: