Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

James F. Allen, Richard Fikes, Erik Sandewall
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning
KR, 1991.

KER
DBLP
Scholar
Full names Links ISxN
@proceedings{KR-1991,
	address       = "KR'91). Cambridge, Massachusetts, USA",
	editor        = "James F. Allen and Richard Fikes and Erik Sandewall",
	isbn          = "1-55860-165-1",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 1991,
}

Contents (60 items)

KR-1991-Allen #reasoning
Planning as Temporal Reasoning (JFA), pp. 3–14.
KR-1991-Amsterdam #reasoning
Temporal Reasoning and Narrative Conventions (JA), pp. 15–21.
KR-1991-AttardiS
Reflections about Reflection (GA, MS), pp. 22–31.
KR-1991-BalkeniusG #network
Nonmonotonic Inferences in Neural Networks (CB, PG), pp. 32–39.
KR-1991-BarringerFGH #execution #logic
Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
KR-1991-Bell #logic
Pragmatic Logics (JB), pp. 50–60.
KR-1991-BrogiT #information management #logic #representation
Metalogic for Knowledge Representation (AB, FT), pp. 61–69.
KR-1991-Bylander #abduction #functional #problem
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability (TB), pp. 70–77.
KR-1991-Castaing #formal method #representation
A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.
KR-1991-ChalasaniEM #algorithm #performance #permutation #problem
Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments (PC, OE, JM), pp. 89–98.
KR-1991-ChouW #modelling #named
Immortal: A Model-Based Belief Revision System (ScTC, MW), pp. 99–110.
KR-1991-DavisC #clustering
Clustering Temporal Intervals To Generate Reference Hierarchies (WSD, JRC), pp. 111–117.
KR-1991-DelgrandeJ #logic #revisited
Default Logic Revisited (JPD, WKJ), pp. 118–127.
KR-1991-DevanbuL #reasoning
Plan-Based Terminological Reasoning (PTD, DJL), pp. 128–138.
KR-1991-DierbachC #reasoning
A Formal Basis for Analogical Reasoning (CD, DLC), pp. 139–150.
KR-1991-DoniniLNN #complexity #concept
The Complexity of Concept Languages (FMD, ML, DN, WN), pp. 151–162.
KR-1991-Doyle
Rational Belief Revision (JD), pp. 163–174.
KR-1991-DuboisP #reasoning
Conditional Objects and Non-Monontonic Reasoning (DD, HP), pp. 175–185.
KR-1991-Freuder #constraints #problem
Completable Representations of Constraint Satisfaction Problems (ECF), pp. 186–195.
KR-1991-FrischS #deduction #framework
A General Framework for Modal Deduction (AMF, RBS), pp. 196–207.
KR-1991-GabbayLV #logic programming #order #semantics #source code
Credulous vs. Sceptical Semantics for Ordered Logic Programs (DMG, EL, DV), pp. 208–217.
KR-1991-Geffner
Beyond Negation as Failure (HG), pp. 218–229.
KR-1991-GelfondPLT
Disjective Defaults (MG, HP, VL, MT), pp. 230–237.
KR-1991-GeneserethH #source code
Partial Programs (MRG, JYjH), pp. 238–249.
KR-1991-Ginsberg #reasoning
Computational Considerations in Reasoning about Action (MLG), pp. 250–261.
KR-1991-Ginsberg91a #reasoning
The Computational Value of Nonmonotonic Reasoning (MLG), pp. 262–268.
KR-1991-Grahne
Updates and Counterfactuals (GG), pp. 269–276.
KR-1991-GreinerO #approximate
Probably Approximately Optimal Derivation Strategies (RG, PO), pp. 277–288.
KR-1991-Grosof
Generalizing Prioritization (BNG), pp. 289–300.
KR-1991-GroveH #logic #multi
Naming and Identity in a Multi-Agent Epistemic Logic (AJG, JYH), pp. 301–312.
KR-1991-Haddawy #logic #probability #representation
A Temporal Probability Logic for Representing Actions (PH), pp. 313–324.
KR-1991-HalpernV #model checking #proving #theorem proving
Model Checking vs. Theorem Proving: A Manifesto (JYH, MYV), pp. 325–334.
KR-1991-HollunderB #concept #strict
Qualifying Number Restrictions in Concept Languages (BH, FB), pp. 335–346.
KR-1991-Kaufman #formal method #reasoning
A Formal Theory of Spatial Reasoning (SGK), pp. 347–356.
KR-1991-Lamarre #logic
S4 as the Conditional Logic of Nonmonotonicity (PL), pp. 357–367.
KR-1991-Lakemeyer #on the
On the Relation between Explicit and Implicit Belief (GL), pp. 368–375.
KR-1991-Lifschitz #towards
Toward a Metatheory of Action (VL), pp. 376–386.
KR-1991-KatsunoM #difference #knowledge base #on the
On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.
KR-1991-MarekST #logic
Modal Nonmonotonic Logics: Ranges, Characterization, Computation (VWM, GFS, MT), pp. 395–404.
KR-1991-Myers #integration #logic
Universal Attachment: An Integration Method for Logic Hybrids (KLM), pp. 405–416.
KR-1991-Nebel #reasoning
Belief Revision and Default Reasoning: Syntax-Based Approaches (BN), pp. 417–428.
KR-1991-PagePF #constraints #logic
Generalizing Atoms in Constraint Logic (CDPJ, AMF), pp. 429–440.
KR-1991-PearlV #formal method
A Theory of Inferred Causation (JP, TV), pp. 441–452.
KR-1991-PequenoB #consistency #logic #nondeterminism
The Logic of Epistemic Inconsistency (THCP, AB), pp. 453–460.
KR-1991-ProvanP
The Utility of Consistency-Based Diagnostic Techniques (GMP, DLP), pp. 461–472.
KR-1991-RaoG #architecture #modelling
Modeling Rational Agents within a BDI-Architecture (ASR, MPG), pp. 473–484.
KR-1991-RodiP #using
A Nonmonotonic Assumption-Based TMS Using Stable Bases (WLR, SGP), pp. 485–495.
KR-1991-Schaub #perspective #semantics
Assertional Default Theories: A Semantical View (TS), pp. 496–506.
KR-1991-Schweizer
A Metalinguistic Treatment of Epistemic Contexts (PS), pp. 507–513.
KR-1991-Baalen #automation #design #satisfiability
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures (JVB), pp. 514–525.
KR-1991-Vreeswijk #reasoning
The Feasibility of Defeat in Defeasible Reasoning (GV), pp. 526–534.
KR-1991-WellmanH
Qualitative Intercausal Relations, or Explaining “Explaining Away” (MPW, MH), pp. 535–546.
KR-1991-Wellman #constraints #multi #simulation
Qualitative Simulation with Multivariate Constraints (MPW), pp. 547–557.
KR-1991-Wilensky #ontology #representation
The Ontology and Representation of Situations (RW), pp. 558–569.
KR-1991-Witteveen #maintenance
Skeptical Reason Maintenance is Tractable (CW), pp. 570–581.
KR-1991-Gardenfors
Nonmonotonic Inferences Based on Expectations: A Preliminary Report (PG), pp. 585–590.
KR-1991-Rich #information management #question #reasoning #representation
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species? (CR), pp. 591–592.
KR-1991-Attardi
Knowledge Sharing: A Feasible Dream (GA), pp. 597–598.
KR-1991-Genesereth
Knowledge Interchange Format (MRG), pp. 599–600.
KR-1991-Gruber #knowledge base #ontology #reuse
The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases (TRG), pp. 601–602.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.