Search results for "EPIA"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Chris McConnell	Minimal Model Complexity Search.	EPIA	1995	DBLP DOI BibTeX RDF
1	Gildas Cherruel, Bassel Solaiman, Yvon Autret	Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm.	EPIA	1995	DBLP DOI BibTeX RDF
1	Daniel Pacholczyk	Qualitative Reasoning Under Uncertainty.	EPIA	1995	DBLP DOI BibTeX RDF
1	Aida Vitória, Margarida Mamede, Luís Monteiro	The Retrieval Problem in a Concept Language with Number Restrictions.	EPIA	1995	DBLP DOI BibTeX RDF
1	Pierre Berlandier	A Symbiotic Approach to Arc and Path Consistency Checking.	EPIA	1995	DBLP DOI BibTeX RDF
1	J. G. (Iain) Wallace, Kevin Bluff	Neurons, Glia and the Borderline Between Subsymbolic Processing.	EPIA	1995	DBLP DOI BibTeX RDF
1	Jaques Reifman, Thomas Y. C. Wei	Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics.	EPIA	1995	DBLP DOI BibTeX RDF
1	Pedro A. de Matos, João P. Martins	Parsimonious Diagnosis in SNePS.	EPIA	1995	DBLP DOI BibTeX RDF
1	Bart Verheij	Arguments and Defeat in Argument-Based Nonmonotonic Reasoning.	EPIA	1995	DBLP DOI BibTeX RDF
1	Nikos I. Karacapilidis	Planning Under Uncertainty: A Qualitative Approach.	EPIA	1995	DBLP DOI BibTeX RDF
1	Graça Gaspar, Helder Coelho	Where Do Intensions Come from?: A Framework for Goals and Intensions Adoption, Derivation and Evolution.	EPIA	1995	DBLP DOI BibTeX RDF
1	Ho Ngoc Duc	Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic.	EPIA	1995	DBLP DOI BibTeX RDF
1	Helder Coelho, Augusto Eusébio, Ernesto Costa	A Closer Look to Artificial Learning Environments.	EPIA	1995	DBLP DOI BibTeX RDF
1	Gilles Trombettoni, Bertrand Neveu, Pierre Berlandier, María Cristina Riff Rojas, Mouhssine Bouzoubaa	A Non-Diffident Combinatorial Optimization Algorithm.	EPIA	1995	DBLP DOI BibTeX RDF
1	Thilo C. Horstmann	A Logical Approach for Distributed Truth Maintenance.	EPIA	1993	DBLP DOI BibTeX RDF
1	Eric Auriol	How to Learn in an Incomplete Knowledge Environment: Structured Objects for a Modal Approach.	EPIA	1993	DBLP DOI BibTeX RDF
1	Maria Fox 0001, Derek Long	A Note on Chapman's Modal Truth Criterion.	EPIA	1993	DBLP DOI BibTeX RDF
1	Armando B. Matos	Regular Languages and a Class of Logic Programs.	EPIA	1993	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Elmar Langetepe	A Process Model for Default Logic and Its Realization in Logic Programming.	EPIA	1993	DBLP DOI BibTeX RDF
1	Alois Haselböck, Markus Stumptner	Attribute-Specific Interchangeability in Constraint Satisfaction Problems.	EPIA	1993	DBLP DOI BibTeX RDF
1	Régis Curien	Second Order E-Matching as a Tool for Automated Theorem Proving.	EPIA	1993	DBLP DOI BibTeX RDF
1	Michael Fisher 0001, Michael J. Wooldridge	Specifying and Verifying Distributed Intelligence Systems.	EPIA	1993	DBLP DOI BibTeX RDF
1	Miguel Filgueiras, Luís Damas (eds.)	Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings	EPIA	1993	DBLP DOI BibTeX RDF
1	Armando B. Matos	Some Results on the Complexity of SLD-Derivations.	EPIA	1993	DBLP DOI BibTeX RDF
1	Stefan Bussmann, Jürgen Müller 0007	Bargaining Agents.	EPIA	1993	DBLP DOI BibTeX RDF
1	Fernando M. A. Silva	An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine.	EPIA	1993	DBLP DOI BibTeX RDF
1	Les Gasser, Ingemar A. E. Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak	Organizations as Complex, Dynamic Design Problems.	EPIA	1993	DBLP DOI BibTeX RDF
1	Pierre Berlandier	The Use and Interpretation of Meta Level Constaints.	EPIA	1993	DBLP DOI BibTeX RDF
1	Edwin Diday, Paula Brito, E. Mfoumoune	Learning Probabilistic Models by Conceptual Pyramidal Clustering.	EPIA	1993	DBLP DOI BibTeX RDF
1	Irene Pimenta Rodrigues, José Gabriel Lopes	Building Text Temporal Structure.	EPIA	1993	DBLP DOI BibTeX RDF
1	Joaquim Nunes Aparício	Assumption Set Semantics (The Procedures).	EPIA	1993	DBLP DOI BibTeX RDF
1	Robert Demolombe	A Uniform Framework for Deductive Database Derivation Strategies.	EPIA	1993	DBLP DOI BibTeX RDF
1	Miguel Filgueiras, Ana Paula Tomás	Fast Methods for Solving Linear Diophantine Equations.	EPIA	1993	DBLP DOI BibTeX RDF
1	Geraldo Lino de Campos, Dimas Trevisan Chbane	A Text-to-Phoneme Translator for the Portuguese Language.	EPIA	1993	DBLP DOI BibTeX RDF
1	Margarida Mamede, Luís Monteiro	Towards Complete Answers in Concept Languages.	EPIA	1993	DBLP DOI BibTeX RDF
1	Grigoris Antoniou	Version Space Algorithms on Hierarchies with Exceptions.	EPIA	1993	DBLP DOI BibTeX RDF
1	Jürgen Giesl, Ingrid Neumann	The Semantics of Rational Contractions.	EPIA	1993	DBLP DOI BibTeX RDF
1	Michael Luck	Evaluating Evidence for Motivated Discovery.	EPIA	1993	DBLP DOI BibTeX RDF
1	Gabriel David, António Porto	Inheritance in a Hierarchy of Theories.	EPIA	1993	DBLP DOI BibTeX RDF
1	Jürgen Kalinski	Well-Founded Approximations of Autoepistemic Logic.	EPIA	1993	DBLP DOI BibTeX RDF
1	Gilles Trombettoni	A Constraint Maintenance Algorithm Based on Value Propagation.	EPIA	1993	DBLP DOI BibTeX RDF
1	Luís Damas, Nelma Moreira, Sabine Broda	Resolution of Constraints in Algebras of Rational Trees.	EPIA	1993	DBLP DOI BibTeX RDF
1	Maria R. Cravo, João P. Martins	A Unified Approach to Default Reasoning and Belief Revision.	EPIA	1993	DBLP DOI BibTeX RDF
1	Francisco Menezes, Pedro Barahona	Preliminary Formalization of an Incremental Hierarchical Constraint Solver.	EPIA	1993	DBLP DOI BibTeX RDF
1	Georg Reichwein, José Luiz Fiadeiro	Semantics of Interworking Knowledge Based Systems.	EPIA	1993	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes	Diagnosis and Debugging as Contradiction Removal in Logic Programs.	EPIA	1993	DBLP DOI BibTeX RDF
1	José Luís Ferreira, Ernesto Jorge Costa	Learning Operators While Planning.	EPIA	1993	DBLP DOI BibTeX RDF
1	Klaus Schild	Combining Terminological Logics with Tense Logic.	EPIA	1993	DBLP DOI BibTeX RDF
1	Margarida Mamede, Luís Monteiro	A Constraint-Based Language for Querying Taxonomic Systems.	EPIA	1991	DBLP DOI BibTeX RDF
1	Pedro Barahona, Luís Moniz Pereira, António Porto (eds.)	EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings	EPIA	1991	DBLP DOI BibTeX RDF
1	Peter C. Nelson, Anestis A. Toptsis	Wave-shaping in Multiprocessor Bidirectional Heuristic State Space Search.	EPIA	1991	DBLP DOI BibTeX RDF
1	Miguel Calejo, Luís Moniz Pereira	Declarative Source Debugging.	EPIA	1991	DBLP DOI BibTeX RDF
1	Éric Rutten	A Temporal Representation for Imperatively Structured Plans of Actions.	EPIA	1991	DBLP DOI BibTeX RDF
1	Cristina Ribeiro 0001, António Porto	Maximal Intervals: An Approach to Temporal Reasoning.	EPIA	1991	DBLP DOI BibTeX RDF
1	Raoul Vorc'h	Generalization for a Propositional Calculus: A Constraints-Based Approach.	EPIA	1991	DBLP DOI BibTeX RDF
1	Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga	Consistency Driven Planning.	EPIA	1991	DBLP DOI BibTeX RDF
1	Klaus Peter Kratzer	A Neural Approach to Data Compression and Classification.	EPIA	1991	DBLP DOI BibTeX RDF
1	Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl	Towards a Theory of the Repair Process.	EPIA	1991	DBLP DOI BibTeX RDF
1	Deepak Kumar, Stuart C. Shapiro	Modelling a Rational Cognitive Agent in SNePS.	EPIA	1991	DBLP DOI BibTeX RDF
1	Kevin Lano	A Constraint-Based Fuzzy Inference System.	EPIA	1991	DBLP DOI BibTeX RDF
1	Miguel Filgueiras, Ana Paula Tomás	Solving Linear Constraints on Finite Domains Through Parsing.	EPIA	1991	DBLP DOI BibTeX RDF
1	Ana Paula Tomás, Miguel Filgueiras	A New Method for Solving Linear Constraints on the Natural Numbers.	EPIA	1991	DBLP DOI BibTeX RDF
1	Gabriel David, António Porto	Semantics of Property Inheritance in a Hierarchic System with Explicit Negation.	EPIA	1991	DBLP DOI BibTeX RDF
1	Amílcar Cardoso, Ernesto Costa	Time in Conflucences: Dealing with Delays for Consistency-Checking.	EPIA	1991	DBLP DOI BibTeX RDF
1	Lothar Winkelbauer, Christian Stary	Adaptive Learning Using a Qualitative Feedback Loop.	EPIA	1991	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício	The Extended Stable Models of Contradiction Removal Semantics.	EPIA	1991	DBLP DOI BibTeX RDF
1	Carlos Ramos 0001, Eugénio C. Oliveira	An Efficient Approach to Planning in Assembly Tasks.	EPIA	1991	DBLP DOI BibTeX RDF
1	José António Mendes, Pedro Rangel Henriques	Heuristic Parsing and Search Space Pruning.	EPIA	1991	DBLP DOI BibTeX RDF
1	Francisco Menezes, Pedro Barahona	Constraint Solving in Finite Domains under User Control.	EPIA	1991	DBLP DOI BibTeX RDF
1	José Távora, Helder Coelho	A Path Planner for the Cutting of Nested Irregular Layouts.	EPIA	1989	DBLP DOI BibTeX RDF
1	Michael Reinfrank	Logical Foundations of Nonmonotonic Truth Maintencance.	EPIA	1989	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Miguel Calejo	Algorithmic Debugging of Prolog Side-Effects.	EPIA	1989	DBLP DOI BibTeX RDF
1	Robert C. Moore	Events, Situations, and Adverbs.	EPIA	1989	DBLP DOI BibTeX RDF
1	Cheng-Seen Ho	Explicit Context-Based Blackboards Enhancing Blackboard Systems Performance.	EPIA	1989	DBLP DOI BibTeX RDF
1	Jacob L. Mey	A Pragmatic Look at Artificial Intelligence Or: The Proper Proper Treatment of Connectionism.	EPIA	1989	DBLP DOI BibTeX RDF
1	Miguel Filgueiras	Cooperating Rewrite Processes Revisited.	EPIA	1989	DBLP DOI BibTeX RDF
1	Ana Paula Tomás, Miguel Filgueiras	Some Comments on a Logic Programming Approach to Natural Language Semantics.	EPIA	1989	DBLP DOI BibTeX RDF
1	Christoph Welsch, Gerhard Barth	Reasoning Objects with Dynamic Knowledge Bases.	EPIA	1989	DBLP DOI BibTeX RDF
1	Tomek Strzalkowski	Extra-sentential Dependencies, Meaning Representation, and Generics.	EPIA	1989	DBLP DOI BibTeX RDF
1	Stephen G. Pimentel, John L. Cuadrado	A Horn Clause Theory of Inheritance and Temporal Reasoning.	EPIA	1989	DBLP DOI BibTeX RDF
1	Stuart C. Shapiro	The CASSIE Projects: An Approach to Natural Language Competence.	EPIA	1989	DBLP DOI BibTeX RDF
1	Mireille Blay-Fornarino, Anne-Marie Pinna-Dery, Brigitte Trousse	An Original Object-Oriented Approach for Relation Management.	EPIA	1989	DBLP DOI BibTeX RDF
1	Clarisse Sieckenius de Souza, Donia Scott, Maria das Graças Volpe Nunes	Enhancing Text Quality ina Question-Answering System.	EPIA	1989	DBLP DOI BibTeX RDF
1	Dario A. Giuse	Efficient Frame Systems.	EPIA	1989	DBLP DOI BibTeX RDF
1	John F. Sowa	Knowledge Acquisition by Teachable Systems.	EPIA	1989	DBLP DOI BibTeX RDF
1	Harald Kjellin, Bassam Michel El-Khouri	Non Exact Matching.	EPIA	1989	DBLP DOI BibTeX RDF
1	Weiqing Tian	Run-Through Algorithms for Applications of Autonomous Mobile Robots.	EPIA	1989	DBLP DOI BibTeX RDF
1	Frank Zetzsche	Non-monotonic Reasoning with the ATMS.	EPIA	1989	DBLP DOI BibTeX RDF
1	Carlos A. Pinto-Ferreira, João P. Martins	Inscription - A Rule of Conjecture.	EPIA	1989	DBLP DOI BibTeX RDF
1	Aidong Zhang, V. Wiktor Marek	On the Classification and Existence of Structures in Default Logic.	EPIA	1989	DBLP DOI BibTeX RDF
1	António G. Portela	LING2: A System for Induction.	EPIA	1989	DBLP DOI BibTeX RDF
1	Hong Zhu 0002, Lingzi Jin	A Knowledge-Based System to Synthesize FP Programs from Examples.	EPIA	1989	DBLP DOI BibTeX RDF
1	José Paulo Leal	An External Database for Prolog.	EPIA	1989	DBLP DOI BibTeX RDF
1	Arkady Rabinov	First Order Theories of Quantification.	EPIA	1989	DBLP DOI BibTeX RDF
1	Pierre Berlandier	PROSE: A Constraint Language with Control Structures.	EPIA	1989	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Joaquim Nunes Aparício	Relevant Counterfactuals.	EPIA	1989	DBLP DOI BibTeX RDF
1	Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins	Reasoning with the Unknown.	EPIA	1989	DBLP DOI BibTeX RDF
1	Maria R. Cravo, João P. Martins	Path-Based Inference in SNeBr.	EPIA	1989	DBLP DOI BibTeX RDF
1	Luís Damas, Giovanni B. Varile	CLG: A Grammar Formalism Based on Constraint Reslution.	EPIA	1989	DBLP DOI BibTeX RDF
1	Gian Piero Zarri	Conceptural Representation Techniques in the Framework of Large Knowledge Based Systems.	EPIA	1989	DBLP DOI BibTeX RDF

Publications at "EPIA"( http://dblp.L3S.de/Venues/EPIA )