Search results for "EPIA"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Pierangelo Dell'Acqua, Luís Moniz Pereira	Enabling Agents to Update Their Knowledge and to Prefer.	EPIA	2001	DBLP DOI BibTeX RDF
1	Francisco Bueno	Agent Programming in Ciao Prolog.	EPIA	2001	DBLP DOI BibTeX RDF
1	João Alexandre Leite	A Modified Semantics for LUPS.	EPIA	2001	DBLP DOI BibTeX RDF
1	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	YapOr: an Or-Parallel Prolog System Based on Environment Copying.	EPIA	1999	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie	Combinatorial Optimization in OPL Studio.	EPIA	1999	DBLP DOI BibTeX RDF
1	José Castro Caldas, Helder Coelho	Choice and Institutions in Agent Societies.	EPIA	1999	DBLP DOI BibTeX RDF
1	Terrance Swift	A New Formulation of Tabled Resolution with Delay.	EPIA	1999	DBLP DOI BibTeX RDF
1	Elpida T. Keravnou, John Washbrook	Temporal Abductive Diagnosis.	EPIA	1999	DBLP DOI BibTeX RDF
1	Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso	Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming.	EPIA	1999	DBLP DOI BibTeX RDF
1	António Abreu, Luís Correia 0001	Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles.	EPIA	1999	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro	A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.	EPIA	1999	DBLP DOI BibTeX RDF
1	Luís Correia 0001, Fernando Moura-Pires, Joaquim Nunes Aparício	Expressing Population Based Optimization Heuristics Using PLATO.	EPIA	1999	DBLP DOI BibTeX RDF
1	Vincent Dugat, Pierre Gambarotto, Yannick Larvor	Qualitative Theory of Shape and Structure.	EPIA	1999	DBLP DOI BibTeX RDF
1	João Marques-Silva 0001	The Impact of Branching Heuristics in Propositional Satisfiability Algorithms.	EPIA	1999	DBLP DOI BibTeX RDF
1	Deborah East, Miroslaw Truszczynski	On the Accuracy and Running Time of GSAT.	EPIA	1999	DBLP DOI BibTeX RDF
1	Udo Hahn, Katja Markert	On the Formal Distinction between Literal and Figurative Language.	EPIA	1999	DBLP DOI BibTeX RDF
1	Inman P. de Guzmán, Pablo Cordero, Manuel Enciso	Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.	EPIA	1999	DBLP DOI BibTeX RDF
1	Paolo Di Giusto, Guido Governatori	A New Approach to Base Revision.	EPIA	1999	DBLP DOI BibTeX RDF
1	Henrique Lopes Cardoso, Max Schaefer, Eugénio C. Oliveira	A Multi-agent System for Electronic Commerce including Adaptive Strategic Behaviours.	EPIA	1999	DBLP DOI BibTeX RDF
1	Nada Lavrac	Challenges for Inductive Logic Programming.	EPIA	1999	DBLP DOI BibTeX RDF
1	Joaquim Ferreira da Silva, Gaël Dias, Sylvie Guilloré, José Gabriel Pereira Lopes	Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units.	EPIA	1999	DBLP DOI BibTeX RDF
1	Luis Antunes 0001, Helder Coelho	Decisions Based upon Multiple Values: The BVG Agent Architecture.	EPIA	1999	DBLP DOI BibTeX RDF
1	Sami Khuri, Sowmya Rao Miryala	Genetic Algorithms for Solving Open Shop Scheduling Problems.	EPIA	1999	DBLP DOI BibTeX RDF
1	Kees van Deemter, Richard Power	Inclusion of Picture Sequences in Generated Documents.	EPIA	1999	DBLP DOI BibTeX RDF
1	Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams	A Practical Approach to Fusing Prioritized Knowledge Bases.	EPIA	1999	DBLP DOI BibTeX RDF
1	Paolo Di Giusto, Guido Governatori	Analytic Modal Revision for Multi-agent Systems.	EPIA	1999	DBLP DOI BibTeX RDF
1	Christoph Benzmüller, Volker Sorge	Critical Agents Supporting Interactive Theorem Proving.	EPIA	1999	DBLP DOI BibTeX RDF
1	Klaus Fischer 0001	Holonic Multiagent Systems - Theory and Applications.	EPIA	1999	DBLP DOI BibTeX RDF
1	Pedro Barahona, José Júlio Alferes (eds.)	Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings	EPIA	1999	DBLP DOI BibTeX RDF
1	Aida Vitória, Margarida Mamede	Is PL2 a Tractable Language?	EPIA	1999	DBLP DOI BibTeX RDF
1	Arnulfo Castellanos, Juan Castellanos, Daniel Manrique, A. Martínez	A New Approach for Extracting Rules from a Trained Neural Network.	EPIA	1997	DBLP DOI BibTeX RDF
1	Martin Takác 0002	Fixed Point Classification Method for Qualitative Simulation.	EPIA	1997	DBLP DOI BibTeX RDF
1	Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt	Parla: A Cooperation Language for Cognitive Multi-Agent Systems.	EPIA	1997	DBLP DOI BibTeX RDF
1	Marc Fuchs	Flexible Proof-Replay with Heuristics.	EPIA	1997	DBLP DOI BibTeX RDF
1	Pedro A. de Matos, João P. Martins	Contextual Logic of Change and the Ramification Problem.	EPIA	1997	DBLP DOI BibTeX RDF
1	Ruqian Lu, Han Ke, Yinghao Ma, Zhang Weyan, Wang Wenbiao	Intelligent VR Training.	EPIA	1997	DBLP DOI BibTeX RDF
1	Matthias Fuchs	Flexible Re-enactment of Proofs.	EPIA	1997	DBLP DOI BibTeX RDF
1	Tom M. Mitchell	Machine Learning Meets Natural Language.	EPIA	1997	DBLP DOI BibTeX RDF
1	Ana Paula Tomás, Miguel Filgueiras	An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals.	EPIA	1997	DBLP DOI BibTeX RDF
1	José Manuel Fonseca, Eugénio Oliveira, Adolfo Steiger-Garção	Multi-Agent Negotiation Algorithms for Resources Cost Estimation: A Case Study.	EPIA	1997	DBLP DOI BibTeX RDF
1	Jerônimo Pellegrini, Jacques Wainer	Diagonalization and Type Rewriting in Clam.	EPIA	1997	DBLP DOI BibTeX RDF
1	Helena Sofia Andrade N. P. Pinto	Integration of Inheritance in SNePS.	EPIA	1997	DBLP DOI BibTeX RDF
1	Paulo Gomes, Carlos Bento	A Retrieval Method for Exploration of a Case Memory.	EPIA	1997	DBLP DOI BibTeX RDF
1	Sanjay Poria, Roberto Garigliano	Granularity for Explanation.	EPIA	1997	DBLP DOI BibTeX RDF
1	Guilherme Bittencourt, Isabel Tonin	A Multi-Agent Approach to First-Order Logic.	EPIA	1997	DBLP DOI BibTeX RDF
1	Mohamed Ettaouil	A 0-1 Quadratic Knapsack Problem for Modelizing and Solving the Constaint Satisfaction Problems.	EPIA	1997	DBLP DOI BibTeX RDF
1	Jirina Vejnarová	Measures of Uncertainty and Independence Concept in Different Calculi.	EPIA	1997	DBLP DOI BibTeX RDF
1	Alcino Cunha, Orlando Belo	Resource Allocation on Agent Meta-Societies.	EPIA	1997	DBLP DOI BibTeX RDF
1	Francisco J. Varela	Dimensions of Embodiments: Possible Futures for Cognitive Science.	EPIA	1997	DBLP DOI BibTeX RDF
1	P. V. S. R. Bhanu Prasad, Deepak Khemani	Cooperative Memory Structures and Commonsense Knowledge for Planning.	EPIA	1997	DBLP DOI BibTeX RDF
1	Henri Farreny	New Results About Sub-Admissibility for General Families on Heuristic Search Algorithms.	EPIA	1997	DBLP DOI BibTeX RDF
1	Helmut Prendinger	Approximate Reasoning.	EPIA	1997	DBLP DOI BibTeX RDF
1	Susanne Schacht, Udo Hahn	Temporal Reasoning about Actor Systems.	EPIA	1997	DBLP DOI BibTeX RDF
1	Ernesto Costa, Amílcar Cardoso (eds.)	Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings	EPIA	1997	DBLP DOI BibTeX RDF
1	Christophe Choquet, Pierre Tchounikine, Francky Trichet	Training Strategies and Knowledge Acquisition: Using the same Reflective Tools for Different Purposes.	EPIA	1997	DBLP DOI BibTeX RDF
1	Pedro Larrañaga, Miren J. Gallego, Basilio Sierra, L. Urkola, Maria J. Michelena	Bayesian Networks, Rule Induction and Logistic Regression in the Prediction of the Survival of Women Suffering from Breast Cancer.	EPIA	1997	DBLP DOI BibTeX RDF
1	Yury V. Smirnov, Manuela M. Veloso	GenSAT: A Navigational Approach.	EPIA	1997	DBLP DOI BibTeX RDF
1	Michael da Costa Móra, José Gabriel Pereira Lopes, Helder Coelho, Rosa Maria Vicari	Modelling Dynamic Aspects of Intentions.	EPIA	1997	DBLP DOI BibTeX RDF
1	Ljubomir Jerinic, Vladan Devedzic, Marijana Lomic, Danijela Radovic	Object Model of Intelligent Tutoring Shell.	EPIA	1997	DBLP DOI BibTeX RDF
1	Michael Schroeder 0001, Iara de Almeida Móra, José Júlio Alferes	Vivid Agents Arguing about Distributed Extended Logic Programs.	EPIA	1997	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Renwei Li	Reasoning about Actions with Abductive Logic Programming.	EPIA	1997	DBLP DOI BibTeX RDF
1	Nuno Filipe da Fonseca Bastos Gomes	A CLP Model to the Job Sequencing Problem.	EPIA	1997	DBLP DOI BibTeX RDF
1	Dirk Fuchs	Inference Rights for Controlling Search in Generating Theorem Provers.	EPIA	1997	DBLP DOI BibTeX RDF
1	Daniel Pcholczyk	About the Intended Meaning of a Linguistic Negation.	EPIA	1997	DBLP DOI BibTeX RDF
1	Udo Hahn, Manfred Klenner	Incremental Concept Evolution Based on Adaptive Feature Weighting.	EPIA	1997	DBLP DOI BibTeX RDF
1	Oskar Dressler	Diagnostic Information at Your Fingertips!	EPIA	1997	DBLP DOI BibTeX RDF
1	Michael T. Cox, Manuela M. Veloso	Controlling for Unexpected Goals when Planning in a Mixed-Initiative Setting.	EPIA	1997	DBLP DOI BibTeX RDF
1	Pedro Soares, Nuno J. Mamede	Timetabling Using Demand Profiles.	EPIA	1997	DBLP DOI BibTeX RDF
1	Iara de Almeida Móra, José Júlio Alferes	Modelling Diagnosis Systems with the Logic Programming.	EPIA	1995	DBLP DOI BibTeX RDF
1	Sayan Bhattacharyya, Steven L. Lytinen	Syntactic and Semantic Filtering in a Chart Parser.	EPIA	1995	DBLP DOI BibTeX RDF
1	João Gama 0001, Pavel Brazdil	Characterization of Classification Algorithms.	EPIA	1995	DBLP DOI BibTeX RDF
1	Nathalie Chaignaud	A Cognitive Model of Problem Solving with Incomplete Information.	EPIA	1995	DBLP DOI BibTeX RDF
1	Gilles Trombettoni	Formalizing Local Propagation in Constraint Maintenance Systems.	EPIA	1995	DBLP DOI BibTeX RDF
1	Astro Teller, Manuela M. Veloso	A Contolled Experiment: Evolution for Learning Difficult Image Classification.	EPIA	1995	DBLP DOI BibTeX RDF
1	Riccardo Poli, Mark Ryan 0001, Aaron Sloman	A New Continuous Propositional Logic.	EPIA	1995	DBLP DOI BibTeX RDF
1	Luís Damas, Nelma Moreira	Constraint Categorial Grammars.	EPIA	1995	DBLP DOI BibTeX RDF
1	Nadia Messaoudi	Constructing Extensions by Resolving a System of Linear Equations.	EPIA	1995	DBLP DOI BibTeX RDF
1	Hiok Chai Quek, P. W. Ng, Michel Pasquier	Integrated Process Supervision: A Structured Approach to Expert Control.	EPIA	1995	DBLP DOI BibTeX RDF
1	Sabine Broda, Luís Damas	A New Translation Algorithm from Lambda Calculus into Combinatory Logic.	EPIA	1995	DBLP DOI BibTeX RDF
1	Daniele Nardi, Riccardo Rosati 0001	A Preference Semantics for Ground Nonmonotonic Modal Logics.	EPIA	1995	DBLP DOI BibTeX RDF
1	Carlos A. Pinto-Ferreira, Nuno J. Mamede (eds.)	Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings	EPIA	1995	DBLP DOI BibTeX RDF
1	José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski	Belief Revision in Non-Monotonic Reasoning.	EPIA	1995	DBLP DOI BibTeX RDF
1	Luís M. M. Custódio, Carlos A. Pinto-Ferreira	Agreement: A Logical Approach to Approximate Reasoning.	EPIA	1995	DBLP DOI BibTeX RDF
1	José Ramón Zubizarreta Aizpuru, Javier Arrieta Usunáriz	GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System.	EPIA	1995	DBLP DOI BibTeX RDF
1	Carmen Fernández-Chamizo, Pedro A. González-Calero, Mercedes Gómez-Albarrán	Promoting Software Reuse Through Explicit Knowledge Representations.	EPIA	1995	DBLP DOI BibTeX RDF
1	Klemens Schnattinger, Udo Hahn, Manfred Klenner	Terminological Meta-Reasoning by Reification and Multiple Contexts.	EPIA	1995	DBLP DOI BibTeX RDF
1	Slavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac	GA Approach to Solving Multiple Vehicle Routing Problem.	EPIA	1995	DBLP DOI BibTeX RDF
1	Helder Coelho, Luis Antunes 0001, Luís Moniz	Building Multi-Agent Societies from Description to Systems: Inter-Layer Translations.	EPIA	1995	DBLP DOI BibTeX RDF
1	Uwe Egly	Super-Polynomial Speed-Ups in Proof Length by New Tautologies.	EPIA	1995	DBLP DOI BibTeX RDF
1	Werner Stephan 0001, Susanne Biundo	Multilevel Refinement Planning in an Interval-Based Temporal Logic.	EPIA	1995	DBLP DOI BibTeX RDF
1	José Júlio Alferes, Renwei Li, Luís Moniz Pereira	Non-Atomic Actions in the Situation Calculus.	EPIA	1995	DBLP DOI BibTeX RDF
1	Michael Wolverton	Presenting Significant Information in Expert System Explanation.	EPIA	1995	DBLP DOI BibTeX RDF
1	Pedro U. Lima, George N. Saridis	Using Stochastic Grammars to Learn Robotic Tasks.	EPIA	1995	DBLP DOI BibTeX RDF
1	Jong-Hyeok Lee, Gary Geunbae Lee	A Dependency Parser of Korean Based on Connectionist/ Symbolic Techniques.	EPIA	1995	DBLP DOI BibTeX RDF
1	Bernhard Kipper	Interlocking Multi-Agent and Blackboard Architectures.	EPIA	1995	DBLP DOI BibTeX RDF
1	Carlos Viegas Damásio, Luís Moniz Pereira	A Model Theory for Paraconsistent Logic Programming.	EPIA	1995	DBLP DOI BibTeX RDF
1	Erica Melis	Theorem Proving by Analogy - A Compelling Example.	EPIA	1995	DBLP DOI BibTeX RDF
1	Truong Quoc Dung	A New Representation of JTMS.	EPIA	1995	DBLP DOI BibTeX RDF
1	Núria Castell, Àngels Hernández	Filtering Software Specifications Written in Natural Language.	EPIA	1995	DBLP DOI BibTeX RDF
1	Carlos Bento, Penousal Machado, Ernesto Costa	On the Role of Splitting and Merging Past Cases for Generation of a New Solution.	EPIA	1995	DBLP DOI BibTeX RDF

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