default search action
8th ISMIS 1994: Charlotte, North Carolina, USA
- Zbigniew W. Ras, Maria Zemankova:
Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings. Lecture Notes in Computer Science 869, Springer 1994, ISBN 3-540-58495-1
Invited Talks
- William J. Campbell:
Distributed Earth Science Validation Centers for Mission to Planet Earth. 1-12 - B. Chandrasekaran:
Causal Understanding in Reasoning About the World. 13-26 - Edward A. Fox
:
How to Make Intelligent Digital Libraries. 27-38 - Robert Meersman:
Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract). 39-45
Approximate Reasoning
- Hasan M. Jamil, Fereidoon Sadri:
Recognizing Credible Experts in Inaccurate Databases. 46-55 - Sukhamay Kundu, Jianhua Chen:
Fuzzy Logic or Lukasiewicz Logic: A Clarification. 56-64 - Tsau Young Lin, Qing Liu, Y. Y. Yao:
Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces. 65-74 - James J. Lu, Neil V. Murray, Erik Rosenthal:
Signed Formulas and Fuzzy Operator Logics. 75-84 - Lech Polkowski, Andrzej Skowron:
Rough Mereology. 85-94 - ShengLi Shi, M. Elizabeth C. Hull, David A. Bell:
A New Rule for Updating Evidence. 95-104 - Zhiwei Wang, S. K. Michael Wong:
A Global Measure of Ambiguity for Classification. 105-113 - Shlomo Zilberstein:
Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach. 114-123
Evolutionary Computation
- Attilio Giordana, Filippo Neri, Lorenza Saitta:
Formal Models of Selection in Genetic Algorithms. 124-133 - Zbigniew Michalewicz, Jaroslaw Arabas:
Genetic Algorithms for the 0/1 Knapsack Problem. 134-143
Intelligent Information Systems
- Troels Andreasen, Olivier Pivert:
On the Weakening of Fuzzy Relational Queries. 144-153 - Yahui Chang, Louiqa Raschid, Bonnie J. Dorr
Transforming Queries from a Relational Schema to an Equivalent Object Schema: A Prototype Based on F-logic. 154-163 - David Wai-Lok Cheung, Ada Wai-Chee Fu, Jiawei Han:
A Case-Based Reasoning Approach for Associative Query Answering. 164-173 - Stephen E. Cross, Donald F. Roberts, Alice M. Mulvehill, J. Allen Sears:
Case-Based Reasoning Applied to A Force Generation Decision Aid. 174-182 - Gilles Fouqué, Wesley W. Chu, Henrick Yau:
A Case-Based Reasoning Approach for Associative Query Answering. 183-192 - Sergio Greco, Carlo Zaniolo:
Efficient Execution of Recursive Queries Through Controlled Binding Propagation. 193-202 - Emmanuelle Le Strugeon
Towards a Dynamic Multi-Agent Organization. 203-212 - Jonathan M. Lever, Barry Richards:
parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. 213-222 - Mohamed Quafafou:
GAITS II: An Intelligent System for Computer-Aided Education. 223-232 - Ning Zhong, Setsuo Ohsuga:
The GLS Discovery System: Its Goal, Architecture and Current Results. 233-244
Knowledge Representation
- Anastasia Analyti, Sakti Pramanik:
Declarative Semantics for Contradictory Modular Logic Programs. 245-254 - Vittorio Brusoni, Luca Console, Barbara Pernici
LaTeR: A General Purpose Manager of Temporal Information. 255-264 - Honghua Gan:
Understanding a Story With Causal Relationships. 265-274 - Paolo Terenziani
Dealing with Qualitative and Quantitative Temporal Information Concerning Periodic Events. 275-284 - Yang Xiang:
Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks. 285-294
Methodologies
- Jacques Calmet, Indra A. Tjandra:
Building Bridges Between Knowledge Representation and Algebraic Specification. 295-304 - Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism Into a Planner - Essentials of a Case Study. 305-314 - Henryk Jan Komorowski
Towards Refinement of Definite Logic Programs. 315-325 - Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
AMPHION: Automatic Programming for Scientific Subroutine Libraries. 326-335
Learning and Adaptive Systems
- Hilde Adé, Bart Malfait, Luc De Raedt
RUTH: an ILP Theory Revision System. 336-345 - Jan G. Bazan, Andrzej Skowron, Piotr Synak:
Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables. 346-355 - Marco Botta:
Learning First Order Theories. 356-365 - Christoph F. Eick, Ema Toto:
Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks. 366-375 - Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Traps and Pitfalls when Learning Logical Definitions from Relations. 376-385 - Xiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko:
DBROUGH: A Rough Set Based Knowledge Discovery System. 386-395 - Alex Lopez-Suarez, Mohamed S. Kamel:
Restructuring Rule Bases to Improve Performance. 396-405 - Thomas Leo McCluskey, J. M. Porteous:
Learning Heuristics for Ordering Plan Goals through Static Operator Analysis. 406-415 - Ryszard S. Michalski, Ibrahim F. Imam:
Learning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 System. 416-426 - Ephraim Nissan, Hava T. Siegelmann, Alex Galperin, Shuky Kimhi:
Towards Full Automation of the Discovery of Heuristics in a Nuclear Engineering Project: Integration With a Neural Information Language. 427-436 - Molly Troxel, Kim Swarm, Jan M. Zytkow:
Concept Hierarchies: A Restricted Form of Knowledge Derived From Regularities. 437-447 - Jianping Zhang, Hsueh-Hsiang Lu:
A Data-Driven Approach to Feature Construction. 448-457
Logic for Artificial Intelligence
- Nicholas Asher:
Reasoning About Action and Time with Epistemic Conditionals. 458-467 - Sasa Buvac, Vanja Buvac, Ian A. Mason:
The Semantics of Propositional Contexts. 468-477 - Jianhua Chen:
The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications. 478-487 - Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition. 488-499 - Yannis Dimopoulos:
Classical Methods in Nonmonotonic Reasoning. 500-510 - Jürgen Dix, Martin Müller:
Partial Evaluation and Relevance for Approximations of Stable Semantics. 511-520 - Patrick Doherty, Witold Lukaszewicz:
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. 521-530 - Suryanil Ghosh:
Paraconsistency and Beyond: A New Approach to Inconsistency Handling. 531-540 - Jean Goubault, Joachim Posegga:
BDDs and Automated Deduction. 541-550 - Yen-Teh Hsia:
A Possibility-Based Propositional Logic of Conditionals. 551-560 - Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Incremental Processing of Logic Database Relations. 561-570 - Y. J. Jiang, Yongyuth Aramkulchai:
On the Relationship between Assumption-based Framework and Autoepistemic Logic. 571-583 - Torsten Schaub:
Computing Queries from Prioritized Default Theories. 584-593 - Kwang Mong Sim
Beliefs and Bilattices. 594-603 - Zbigniew Stachniak:
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics. 604-613
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: