IJCAI 1997 - PDF Preprint Papers

IJCAI 1997

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed IJCAI-1997 Paper

click to vote

IJCAI
1997

182views Artificial Intelligence» more IJCAI 1997»

A Four-Valued Fuzzy Propositional Logic

14 years 23 days ago

Download dli.iiit.ac.in

It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...

Umberto Straccia

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	182	A Four-Valued Fuzzy Propositional Logic	claim
2	179	Compiling Reasoning with and about Preferences into Default Logic	claim
3	170	Is Nonparametric Learning Practical in Very High Dimensional Spaces?	claim
4	169	Learning Topological Maps with Weak Local Odometric Information	claim
5	166	Ten Challenges in Propositional Reasoning and Search	claim
6	161	Combining Probabilistic Population Codes	claim
7	159	Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning	claim
8	158	Extracting Propositions from Trained Neural Networks	claim
9	155	Machine Learning Techniques to Make Computers Easier to Use	claim
10	152	Anytime Belief Revision	claim
11	150	Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity	claim
12	149	An Aggregation Procedure for Building Episodic Memory	claim
13	148	Change, Change, Change: Three Approaches	claim
14	148	Compiling Prioritized Circumscription into Extended Logic Programs	claim
15	147	Active Mobile Robot Localization	claim
16	146	Content Ordering in the Generation of Persuasive Discourse	claim
17	141	On the Role of Hierarchy for Neural Network Interpretation	claim
18	140	Analogy and Abduction in Automated Deduction	claim
19	140	Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation	claim
20	140	A Causal Time Ontology for Qualitative Reasoning	claim
21	139	An Achievement Test for Knowledge-Based Systems: QUEM	claim
22	137	Equational Reasoning using AC Constraints	claim
23	135	Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus	claim
24	135	A Music Stream Segregation System Based on Adaptive Multi-Agents	claim
25	135	Strategies in Rigid-Variable Methods	claim
26	133	Evolvable Hardware for Generalized Neural Networks	claim
27	132	A Cumulative-Model Semantics for Dynamic Preferences on Assumptions	claim
28	130	Automation of Diagrammatic Reasoning	claim
29	129	Constraint Satisfaction over Connected Row Convex Constraints	claim
30	129	Object Identification in a Bayesian Context	claim
31	128	Reifying Concepts in Description Logics	claim
32	128	Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics	claim
33	127	ILP with Noise and Fixed Example Size: A Bayesian Approach	claim
34	125	Implementing BDI-like Systems by Direct Execution	claim
35	125	Toward Structured Retrieval in Semi-structured Information Spaces	claim
36	124	Adaptive Web Sites: an AI Challenge	claim
37	124	Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing	claim
38	123	Remote-Brained Robots	claim
39	123	Interleaved Depth-First Search	claim
40	122	Autoepistemic Description Logics	claim
41	122	Model Minimization, Regression, and Propositional STRIPS Planning	claim
42	121	Learning to Improve both Efficiency and Quality of Planning	claim
43	121	Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results	claim
44	121	Mental Tracking: A Computational Model of Spatial Development	claim
45	121	Automatic Generation of Heuristics for Scheduling	claim
46	120	Self-Organization and Segmentation with Laterally Connected Spiking Neurons	claim
47	118	Reasoning Symbolically About Partially Matched Cases	claim
48	117	The Self-Organizing Desk	claim
49	116	Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference	claim
50	115	Aggregating Features and Matching Cases on Vague Linguistic Expressions	claim
51	115	An Effective Learning Method for Max-Min Neural Networks	claim
52	114	Understanding Three Simultaneous Speeches	claim
53	113	Exploration and Adaptation in Multiagent Systems: A Model-based Approach	claim
54	112	A Study of Causal Discovery With Weak Links and Small Samples	claim
55	112	Decision Tree Grafting	claim
56	111	On the Gains and Losses of Speculation in Equilibrium Markets	claim
57	110	RHB+: A Type-Oriented ILP System Learning from Positive Data	claim
58	109	Chain of Circles for Matching and Recognition of Planar Shapes	claim
59	109	Adaptive Goal Recognition	claim
60	108	Efficiently Executing Information-Gathering Plans	claim
61	108	On the Interaction of Metonymies and Anaphora	claim
62	107	Local Consistency for Ternary Numeric Constraints	claim
63	106	Minimum Splits Based Discretization for Continuous Features	claim
64	105	Challenges in Bridging Plan Synthesis Paradigms	claim
65	105	Structural Inferences from Massive Datasets	claim
66	104	Development of Iterative Real-time Scheduler to Planner Feedback	claim
67	103	Cooperation Structures	claim
68	102	Let's Plan It Deductively!	claim
69	102	On the Efficient Classification of Data Structures by Neural Networks	claim
70	101	Law Discovery using Neural Networks	claim
71	100	High Performance ATP Systems by Combining Several AI Methods	claim
72	99	Challenge: What is the Impact of Bayesian Networks on Learning?	claim
73	99	Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning	claim
74	98	Qualitative Relevance and Independence: A Roadmap	claim
75	98	A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics	claim
76	98	Robust Periodic Planning and Execution for Autonomous Spacecraft	claim
77	97	On Evaluating Decision Procedures for Modal Logic	claim
78	96	A Learning System for Selective Dissemination of Information	claim
79	96	Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems	claim
80	96	A Reactive Planner for a Model-based Executive	claim
81	95	Towards a Complete Classification of Tractability in Allen's Algebra	claim
82	95	Discovering Interesting Holes in Data	claim
83	95	Computational Complexity of Multi-way, Dataflow Constraint Problems	claim
84	94	Task Ontology Makes It Easier To Use Authoring Tools	claim
85	94	Corpus-Based Chinese-Korean Abstracting Translation System	claim
86	94	Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems	claim
87	93	Recursive Plans for Information Gathering	claim
88	92	The Origins of Syntax in Visually Grounded Robotic Agents	claim
89	91	Tractable Cover Compilations	claim
90	90	Hidden Gold in Random Generation of SAT Satisfiable Instances	claim
91	90	Noise-Tolerant Windowing	claim
92	90	The Complexity of Belief Update	claim
93	88	Middle-Agents for the Internet	claim
94	88	Situated Actions and Cognition	claim
95	88	Nonmonotonic Reasoning and Multiple Belief Revision	claim
96	86	A Symmetric View of Utilities and Probabilities	claim
97	86	Exploiting Domain Knowledge for Approximate Diagnosis	claim
98	82	Modeling Social Action for AI Agents	claim
99	81	Learning Short-Term Weights for GSAT	claim
100	73	Reasoning about Plans	claim
101	72	Space-Efficient Inference in Dynamic Probabilistic Networks	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers