KR 2004 - PDF Preprint Papers

KR 2004 International Conference on Principles and Knowledge Representation and Reasoning

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KR-2004 Paper

click to vote

KR
2004
Springer

225views Automated Reasoning» more KR 2004»

A Logic-Based Formulation of Active Visual Perception

14 years 4 months ago

Download www.doc.ic.ac.uk

Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...

Murray Shanahan, David A. Randell

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	225	A Logic-Based Formulation of Active Visual Perception	claim
2	195	Improving the Forward Chaining Algorithm for Conceptual Graphs Rules	claim
3	183	Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities	claim
4	171	Reaching Agreement Through Argumentation: A Possibilistic Approach	claim
5	164	GlossOnt: A Concept-focused Ontology Building Tool	claim
6	159	Breadth-First Heuristic Search	claim
7	153	An Improved Integer Local Search for Complex Scheduling Problems	claim
8	152	Characterization of Semantics for Argument Systems	claim
9	151	Complex Preferences for Answer Set Optimization	claim
10	148	Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification	claim
11	146	Advanced Research with Autonomous Unmanned Aerial Vehicles	claim
12	144	Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results	claim
13	144	Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity	claim
14	139	Combining Answer Set Programming with Description Logics for the Semantic Web	claim
15	138	Regulative and Constitutive Norms in Normative Multiagent Systems	claim
16	136	Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems	claim
17	136	Condensed Representations for Inductive Logic Programming	claim
18	134	On Eliminating Disjunctions in Stable Logic Programming	claim
19	131	A Causal Logic of Logic Programming	claim
20	131	A First-Order Theory of Communicating First-Order Formulas	claim
21	128	Social Roles and their Descriptions	claim
22	127	Evidence and Belief	claim
23	126	Partial Implication Semantics for Desirable Propositions	claim
24	125	Causation and Causal Conditionals	claim
25	125	Situations, Si! Situation Terms, No!	claim
26	119	GAI Networks for Utility Elicitation	claim
27	119	Discovering State Invariants	claim
28	119	Observation Expectation Reasoning in Agent Systems	claim
29	119	Meaning and Links: A Semantic Odyssey	claim
30	118	A Logic of Limited Belief for Reasoning with Disjunctive Information	claim
31	118	Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules	claim
32	117	A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases	claim
33	117	Qualitative Probabilistic Matching with Hierarchical Descriptions	claim
34	115	From Hybrid Systems to Universal Plans Via Domain Compilation	claim
35	115	Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription	claim
36	114	Inductive Situation Calculus	claim
37	112	Distance Semantics for Relevance-Sensitive Belief Revision	claim
38	112	Inferential Complexity Control for Model-Based Abduction	claim
39	111	Axiomatizing the Cyclic Interval Calculus	claim
40	111	Planning Graphs and Knowledge Compilation	claim
41	111	Knowledge of Other Agents and Communicative Actions in the Fluent Calculus	claim
42	111	Learning Probabilistic Relational Planning Rules	claim
43	110	Automated Reformulation of Specifications by Safe Delay of Constraints	claim
44	108	Reasoning about Knowledge by Variable Forgetting	claim
45	106	Logical Foundations of Negotiation: Strategies and Preferences	claim
46	105	Multidimensional Mereotopology	claim
47	105	Intransitivity and Vagueness	claim
48	105	Knowledge Discovery by Reversing Inductive Knowledge Representation	claim
49	103	Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing	claim
50	101	Indoor Environment Classification and Perceptual Matching	claim
51	98	How to Interweave Knowledge about Object Structure and Concepts	claim
52	97	Majority Logic	claim
53	96	Expressive Power and Succinctness of Propositional Languages for Preference Representation	claim
54	96	A Preference-Based Interpretation of Other Agents' Actions	claim
55	95	A Logic of Motion	claim
56	93	Precondition Control and the Progression Algorithm	claim
57	93	Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations	claim
58	92	On Merging Strategy-Proofness	claim
59	92	Weak Nonmonotonic Probabilistic Logics	claim
60	90	An Experimental Analysis of Possibilistic Default Reasoning	claim
61	90	Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration	claim
62	88	A Polynomial-Time Algorithm for Constructing k-Maintainable Policies	claim
63	85	On the Use of an ATMS for Handling Conflicting Desires	claim
64	85	Phase Transitions in Classical Planning: An Experimental Study	claim
65	81	A Unified Treatment for Knowledge Dynamics	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers