Stem nonmonoton$ (all stems)

51 papers:

KR-2012-LakemeyerL #logic

Only-Knowing Meets Nonmonotonic Modal Logic (GL, HJL).

KR-2012-TachmazidisAFK #parallel #reasoning #towards

Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).

SAC-2012-BistarelliCS #concurrent #constraints #coordination #programming

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.

ICALP-v1-2011-FeldmanNS #algorithm

Nonmonotone Submodular Maximization via a Structural Continuous Greedy Algorithm — (Extended Abstract) (MF, JN, RS), pp. 342–353.

ICLP-2011-Krennwallner #composition #logic programming #source code

Promoting Modular Nonmonotonic Logic Programs (TK), pp. 274–279.

KR-2010-Dao-TranEFK #distributed #multi

Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).

ICLP-2009-Dao-TranEFK #composition #logic programming #revisited

Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.

KR-2008-Kern-Isberner #reasoning

Linking Iterated Belief Change Operations to Nonmonotonic Reasoning (GKI), pp. 166–176.

PPDP-2007-LiuP #induction #logic programming

Nonmonotonic inductive logic programming by instance patterns (CL, EP), pp. 187–196.

KR-2006-Truszczynski #algebra #approach #equivalence

Strong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach (MT), pp. 389–399.

CSL-2006-Truszczynski #algebra #logic

Nonmonotonic Logics and Their Algebraic Foundations (MT), pp. 58–71.

ICLP-2005-Schindlauer #logic programming #semantics #source code #web

Nonmonotonic Logic Programs for the Semantic Web (RS), pp. 446–447.

KR-2004-Lukasiewicz #logic #probability

Weak Nonmonotonic Probabilistic Logics (TL), pp. 23–33.

KR-2004-McCarthy #reasoning

Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription (JM0), pp. 738–739.

KR-2002-DeneckerMT #approximate #information management #representation

Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (MD, VWM, MT), pp. 177–190.

STOC-1999-Feige

Nonmonotonic Phenomena in Packet Routing (UF), pp. 583–591.

CSL-1998-GiannottiMNP #database #effectiveness #logic #nondeterminism #on the #semantics

On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases (FG, GM, MN, DP), pp. 58–72.

ILPS-1997-EngelfrietH #modelling

Generated Preferred Models and Extensions of Nonmonotonic Systems (JE, HH), pp. 85–99.

KR-1996-AmatiP #logic #question #reasoning

Is There a Logic of Provability for Nonmonotonic Reasoning? (GA, FP), pp. 493–503.

KR-1996-Bochman #reasoning

Biconsequence Relations for Nonmonotonic Reasoning (AB), pp. 482–492.

KR-1996-Jaeger #independence #representation

Representation Independence of Nonmonotonic Inference Relations (MJ), pp. 461–472.

KR-1996-MonteiroW #logic #multi

Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report (AMM, JW), pp. 446–452.

JICSLP-1996-Thielscher #logic programming #proving #semantics #source code

A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs (MT), pp. 483–497.

ICLP-1995-CholewinskiMMT #reasoning

Experimenting with Nonmonotonic Reasoning (PC, VWM, AM, MT), pp. 267–281.

LICS-1995-MarekNR #complexity #logic #reasoning

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (VWM, AN, JBR), pp. 178–185.

KR-1994-DuboisP

Conditional Objects as Nonmonotonic Consequence Relations: Main Results (DD, HP), pp. 170–177.

ILPS-1993-EiterG #complexity #logic #logic programming

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics (TE, GG), pp. 266–278.

WSA-1992-Araragi #program transformation #reasoning

Program Transformation in a Nonmonotonic Reasoning System (TA), pp. 135–143.

KR-1992-Arlo-CostaS #logic

Maps Between Nonmonotonic and Conditional Logic (HLAC, SJS), pp. 553–564.

KR-1992-LifschitzW #reasoning #set

Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) (VL, TYCW), pp. 603–614.

KR-1992-NiemelaR #complexity #on the #reasoning

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (IN, JR), pp. 627–638.

KR-1992-Reiter #reasoning #research #what

Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef (RR), p. 789.

KR-1992-Schwarz #bound #logic

Bounding Introspection in Nonmonotonic Logic (GS), pp. 581–590.

LICS-1992-Schwarz #logic #semantics

Minimal Model Semantics for Nonmonotonic Modal Logics (GS), pp. 34–43.

KR-1991-BalkeniusG #network

Nonmonotonic Inferences in Neural Networks (CB, PG), pp. 32–39.

KR-1991-Gardenfors

Nonmonotonic Inferences Based on Expectations: A Preliminary Report (PG), pp. 585–590.

KR-1991-Ginsberg91a #reasoning

The Computational Value of Nonmonotonic Reasoning (MLG), pp. 262–268.

KR-1991-Lamarre #logic

S4 as the Conditional Logic of Nonmonotonicity (PL), pp. 357–367.

KR-1991-MarekST #logic

Modal Nonmonotonic Logics: Ranges, Characterization, Computation (VWM, GFS, MT), pp. 395–404.

KR-1991-RodiP #using

A Nonmonotonic Assumption-Based TMS Using Stable Bases (WLR, SGP), pp. 485–495.

ICLP-1991-PereiraAA #reasoning #semantics

Nonmonotonic Reasoning with Well Founded Semantics (LMP, JNA, JJA), pp. 475–489.

ALP-1990-ZhouM

Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.

LICS-1990-MarekNR #formal method

A Theory of Nonmonotonic Rule Systems (VWM, AN, JBR), pp. 79–94.

KR-1989-EtheringtonFGIL #reasoning

Critical Issues in Nonmonotonic Reasoning (DWE, KDF, MLG, DJI, VL), pp. 500–504.

KR-1989-Helft #induction

Induction as Nonmonotonic Inference (NH), pp. 149–156.

KR-1989-LinS #reasoning

Argument Systems: A Uniform Basis for Nonmonotonic Reasoning (FL, YS), pp. 245–255.

KR-1989-Pearl #bibliography #probability #reasoning #semantics

Probabilistic Semantics for Nonmonotonic Reasoning: A Survey (JP), pp. 505–516.

LICS-1989-Lifschitz #reasoning

The Mathematics of Nonmonotonic Reasoning (Abstract) (VL), p. 242.

NACLP-1989-WilsonB #comparison #constraints #logic programming

Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison (MW, AB), pp. 3–19.

CSL-1988-Niemela #complexity #logic #on the #problem

On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic (IN), pp. 226–239.

CADE-1986-Brown #reasoning

A Commonsense Theory of Nonmonotonic Reasoning (FMB), pp. 209–228.