| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Henrik Smith-Meyer, Reimund Küke, Kjell Tangen |
EXACT - Model-based Diagnosis for Satellite Testing.  |
SCAI  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jörg-Michael Hasemann |
An Architectural View on Intelligent Articulated Systems. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dag Augland, Birger Christoffersen, Roy Storli |
Computer-aided Scheduling of the Police Force. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Károly Tilly, Lászlo Surján |
CONTEST: A Constraint-based Framework for Automatic Test Pattern Generation in Digital Circuits. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hanne Rygg Johnsen |
LIRE - Language Interface for Requirements Engineering. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Björn Gambäck, Martin Eineborg |
A Grammar-based Rule Formalism for a Text-to-Speech Interface System. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Casamayor, Hendrik Decker |
Hypothetical Query Answering in First-Order Databases. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Eero Hyvönen, Stefano De Pascale |
A Function Evaluator for Imprecise Numerical Inference. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Karanta, Teppo Veijonen, Hannu Ahonen, Mikko Hiirsalmi, Olli-Pekka Rinta-Koski, Juha Ylä-Jääski |
V.I.P. - An Intelligent Pagination System. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Xiaohong Yuan, Kai Zhao, Jue Wang |
Visualization in Mechanical Geometry Theorem Proving. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | W. Ken Jackson, William S. Havens |
Committing to User Choices in Mixed Initiative CSPs. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jacek Wrzos-Kaminski |
Similar Schedule: A Formalisation. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jon Sporring |
Pruning with Minimal Description Length. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Martin Schmidt 0001, Thomas R. Stidsen |
Using GA to Train NN Using Sharing and Pruning. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | João José Furtado Vasco, Colette Faucher, Eugène Chouraqui |
Incremental Concept Formation in an Object-Oriented Representation. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ming Xi Tang |
An Inductive Learning System for Intelligent Design Support. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Skowron |
Synthesis of Adaptive Decision Systems from Experimental Data. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jon N. Didriksen |
Genetic Algorithms and Production Scheduling. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mouhssine Bouzoubaa |
The Houria Constraint Solver. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Patrick John Coppock |
A Semiotic Perspective on the Development of (Artificial) Consciousness. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mario Lenz |
Lazy Induction Triggered by CBR. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hanan H. R. Elazhary, Ashraf H. Abdel-Wahab |
Discovering the Periodic Table: An Application of Discovery Systems in Chemistry. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rolf Nossum |
On Test and Choice in a High-Level Programming Language. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Evgueni N. Smirnov, Nikolay I. Nikolaev |
Multiple Explanation-based Learning Guided by Space Fragmenting. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Frantisek Capkovic |
A Knowledge-based Approch to Synthesis of Intelligent Control of DEDS. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Niels Peek, Linda C. van der Gaag |
A Case-based Filter for Diagnostic Belief Networks. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Tony Y. T. Chan |
Metric Unified Approach to the Exclusive-Or Problem. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Steven A. Battle |
Generating Database Queries from a Constraint Network Representation. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Zbigniew Michalewicz |
Evolutionary Computation: An Overview. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Seppo Torvinen, Robert Milne |
Increasing the Availability of Flexible Manufacturing Systems with Multimedia Supported Diagnostic Expert Systems. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Göran Forslund |
In Search for Flexible Decision Procedures for Real-World Applications. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Inge Nordbø, Geir Willumsen |
Integration of Temporal and Incomplete Aspects at the Knowledge Level. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Tapio Elomaa, Niklas Holsti, Ilkka Hyvärinen |
TELA: A Platform for Experimenting with Attribute-based Learning Programs. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Lars Thalmann, Christer Samuelsson |
A Uniform Framework for Grammar Induction and Robust Parsing. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hubert Lacaze, Alain Dussauchoy |
C2H2F2: A Hybrid Expert System in Demand Forecasting. |
SCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Sven Ove Hansson |
Bridging a Gap Between AI Research and Philosophy. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ram Kumar 0002, Charles Chung, Craig A. Lindley |
Learning to Perform Weather Forecasting Operations. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Saso Dzeroski |
Handling Imperfetc Data in Inductive Logic Programming. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Aarno Lehtola |
Heuristic Search within Strict Time Limits. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Erik Sandewall, Carl Gustaf Jansson (eds.) |
Fourth Scandinavian Conference on Artificial Intelligence, SCAI 1993, Stockholm, Sweden, May 4-7, 1993. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jonni Harrius |
From Problem Solving to Solution Critiquing by Reusing an Existing Knowledge Base. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Anna-Lena Johansson |
Program Derivation and its Interactive Environment. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Agnar Aamodt |
A Case-Based Answer to Some Problems of Knowledge-Based Systems. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Grigoris Antoniou, Volker Sperschneider |
Computing Extensions of Nonmonotonic Logics. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Dunja Mladenic |
Visualization of Domain and Concept Descriptions. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Saulius Maskeliunas |
The Use of a Rule-Based System for Qualitative Reasoning. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Sagheb-Tehrani |
Investigating ESD in Some Swedish Organizations: An Empirical Study. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mare Koit, Haldur Oim |
A Formal Model of Communicative Strategy. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Chleq |
A Simple Mechanism for Temporal Deduction and Prediction. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Paul Davidsson |
A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Thomas Fuhr 0002, Franz Kummert, Stefan Posch, Gerhard Sagerer |
An Approach for Qualitatively Predicting Relations from Relations. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Rolf Nossum, Dov M. Gabbay |
Semantical Correspondence Properties of Some Modal Systems of Logic. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Peter Idestam-Almquist |
Generalization under Implication: Expansions of Clauses for Indirect Roots. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Abhay B. Bulsari, Henrik Saxén |
A Connetcionist Model for Analysis of Temporal Sequences with Noise. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alvis Brazma |
Learning a Subclass of Regular Expressions by Recognizing Periodic Repetitions. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Robert Pallbo |
Visual Motion Detetcion Based on a Cooperative Neural Network Architetcure. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Björn Gambäck, Stefan Ljung |
Question Answering in the Swedish Core Language Engine. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jörg-Michael Hasemann, Tapio Heikkilä |
A New Approach towards Monitoring in Intelligent Autonomous Robots. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Craig MacNish, Antony Galton, John Gooday |
QSQR: Quantitatively Scoped Qualitative Reasoning. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Regimantas Pliuskevicius |
The Analytic Tableaux for Linear Minscoped Temporal Logic. |
SCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Brian H. Mayoh (eds.) |
Third Scandinavian Conference on Artificial Intelligence, SCAI 1991, Roskilde, Denmark, May 21-24, 1991, Proceedings. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Bogdan Filipic |
Reducing Search Complexity by Start Node Selection. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jacek Malec |
How to Pass an Intersetcion, or Automata Theory Is Still Useful. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Sebastiani 0001, Umberto Straccia |
A Computationally Tractable Terminological Logic. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Finn Verner Jensen |
Calculation in HUGIN of Probabilities for Specific Configurations: A Trick with Many Applications. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Carl Gustaf Jansson, Henrik Boström, Peter Idestam-Almquist |
Optimizing Horn Clause Logic Programs for Particular Modes of Use: An Analysis of Explanation-Based Learning and Partial Evaluation. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Henning Herrestad |
AI and Law: Will the Marriage Last? |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer |
Models in Model Based Diagnosis: Classification and Construction. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Abhay B. Bulsari, Henrik Saxén |
A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dov M. Gabbay |
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Cyrus F. Nourani |
Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes |
Hypothetical Reasoning with Well Founded Semantics. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Luciano Serafini |
Mulitlanguage First Order Theories of Propositional Attitudes. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Qualitative Modalities. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jørgen Karpf |
Categorical Modelling in Law. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Yoav Shoham |
Theories of Agenthood. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Geraldine Legendre, Yoshiro Miyata, Paul Smolensky |
Distributed Recursive Structure Processing. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Sagheb-Tehrani |
Knowledge Elicitation: Some Implications for Research and Practice. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ulla Dindorp |
Literature Analysis for Knowledge Acquisition. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dimitrios Thanassas |
Nonmonotonicity as the Resolution of Contradictions. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Juha Hynynen |
DUKPIE: The BREAD 'n' BUTTER for Finite Capacity Activity Scheduling. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka |
Class Directed Generalization. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala |
Verification of OPS5-Based AI Applications. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Eero Hyvönen |
Global Consistency in Interval Constraint Satisfaction. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia |
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Nada Lavrac, Saso Dzeroski, Vladimir Pirnat, Viljem Krizman |
Learning Rules for Early Diagnosis of Rheumatic Diseases. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Peter Jackson |
Computing Minimal Refutations. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Lars Asker |
Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michael Egmont-Petersen |
Mental Models as Cognitive Entities. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Abhay B. Bulsari, Björn Saxén, Henrik Saxén |
Application of the Symmetric Logarithmoid as a Activation Function for Neurons in a Feed-Forward Neural Network. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Kim Trans |
An Expert System Shell for Planning with Automatic Feedback Learning. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício |
A Practical Introduction to Well Founded Semantics. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Arvind K. Bansal, Dilip S. Poduval |
Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jaidev, N. Parameswaran |
Coding Plan Logic in a Dependency Net: The PLANET System. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf |
Reasoning about Knowledge: The Meta-Level Approach. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Peter W. Eklund |
Negotiating Inheritance Taxonomies in Conceptual Structures. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jørgen Villadsen |
Combinatory Categorial Grammar for Intensional Fragment of Natural Language. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Matti Karjalainen |
Object-Oriented Signal Processing: Principles and Experiments. |
SCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jukka Rantanen |
Hypermedia in Knowledge Acquisition and Specification of User Interface for KBS: An Approach and a Case Study. |
SCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | L. Valluy, Pirkko Nykänen, Jukka Rantanen, J. Salmela, Paul Grönroos, Jukka Lumio |
An Approach to Combine Knowledge Validation & Evaluation with Development in Medical AI. |
SCAI |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license