The following pages link to Artificial Intelligence (Q72340):
Displaying 50 items.
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation (Q814504) (← links)
- Metaqueries: Semantics, complexity, and efficient algorithms (Q814506) (← links)
- Nonmonotonic inconsistency (Q814507) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Two party immediate response disputes: Properties and efficiency (Q814510) (← links)
- Sound and complete qualitative simulation is impossible (Q814512) (← links)
- Law, learning and representation (Q814515) (← links)
- A reduction-graph model of precedent in legal analysis (Q814517) (← links)
- A model of legal reasoning with cases incorporating theories and values (Q814518) (← links)
- Extensionally defining principles and cases in ethics: an AI model (Q814520) (← links)
- Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment (Q814522) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Efficient solution techniques for disjunctive temporal reasoning problems (Q814524) (← links)
- Reconstructing force-dynamic models from video sequences (Q814526) (← links)
- Consistency-based search in feature selection (Q814528) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks (Q814531) (← links)
- An agenda-based framework for multi-issue negotiation (Q814532) (← links)
- Towards a general theory of topological maps (Q814534) (← links)
- On the revision of preferences and rational inference processes (Q814536) (← links)
- Composing cardinal direction relations (Q814537) (← links)
- Basic theoretical results for expert systems. application to the supervision of adaptation transients in planar robots (Q814541) (← links)
- Consistency-based diagnosis of configuration knowledge bases (Q814544) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554) (← links)
- An attempt to formalise a non-trivial benchmark problem in common sense reasoning (Q814556) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Elaboration tolerance through object-orientation (Q814560) (← links)
- The representation of planning strategies (Q814562) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Weakening conflicting information for iterated revision and knowledge integration (Q814566) (← links)
- Optimizing the mutual intelligibility of linguistic agents in a shared world (Q814568) (← links)
- Stable repeated strategies for information exchange between two autonomous agents (Q814569) (← links)
- Incremental learning with partial instance memory (Q814572) (← links)
- Fast and optimal decoding for machine translation (Q814578) (← links)
- Complexity results for explanations in the structural-model approach (Q814579) (← links)
- Arc consistency for soft constraints (Q814581) (← links)
- A framework for linguistic modelling (Q814582) (← links)
- Comparing formal theories of context in AI (Q814585) (← links)
- Cyclic consistency: A local reduction operation for binary valued constraints (Q814586) (← links)
- Lifelong planning \(\text{A}^*\) (Q814587) (← links)
- Hierarchical model-based diagnosis based on structural abstraction (Q814590) (← links)
- Average-case analysis of best-first search in two representative directed acyclic graphs (Q814592) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Version spaces and the consistency problem (Q814597) (← links)
- Theory revision with queries: Horn, read-once, and parity formulas (Q814598) (← links)
