Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|