Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alvaro E. Arenas, Brian Matthews |
An Experiment on Modelling Agents and Knowledge for the Semantic Web. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
Web Services, Semantic Web, Knowledge Modelling, Problem-Solving Methods, CommonKADS |
1 | Seungyeob Choi |
Towards Semantic Goal-Directed Forward Reasoning in Resolution. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Vicente Carrillo Montero, Víctor J. Díaz Madrigal |
Left Corner Parser for Tree Insertion Grammars. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
TIG, left corner, natural language processing, TAG, parsing |
1 | S. L. M. Lin |
A Broker Approach for Multi-agent Scheduling. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
multi-agent systems, planning, distributed AI |
1 | Éric Grégoire, Bertrand Mazure, Lakhdar Sais |
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
logic and AI, local search, SAT, minimal models |
1 | A. Osmani |
Learning Patterns in Multidimensional Space Using Interval Algebra. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
A Neural Approach to Abductive Multi-adjoint Reasoning. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Guido Boella, Rossana Damiano |
A Replanning Algorithm for a Reactive Agent Architecture. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson |
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Diana Maynard, Hamish Cunningham, Kalina Bontcheva, Marin Dimitrov |
Adapting a Robust Multi-genre NE System for Automatic Content Extraction. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
robust NLP, information extraction, named entity recognition |
1 | Daniel Pacholczyk, Mohamed Quafafou, Laurent Garcia |
Optimistic vs. Pessimistic Interpretation of Linguistic Negation. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Popelínský |
Efficient Relational Learning from Sparse Data. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
database schema redesign, mining in spatial data, relational learning |
1 | Antoine Monsifrot, François Bodin, Rene Quiniou |
A Machine Learning Approach to Automatic Production of Compiler Heuristics. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde |
Restricted Delta-Trees in Multiple-Valued Logics. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Automated Reasoning |
1 | Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H. Jaap van den Herik |
Efficient Instance Retraction. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Milos Kovacevic, Michelangelo Diligenti, Marco Gori, Veljko M. Milutinovic |
Recognition of Common Areas in a Web Page Using a Visualization Approach. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Feliciano Manzano Casas, Luis A. García |
OCOA: An Open, Modular, Ontology Based Autonomous Robotic Agent Architecture. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Vrakas, Ioannis P. Vlahavas |
A Heuristic for Planning Based on Action Evaluation. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Donia Scott (eds.) |
Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Diego Magro, Pietro Torasso |
Decomposing and Distributing Configuration Problems. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Natalia López, Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001 |
WHAT: Web-Based Haskell Adaptive Tutor. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Education, e-learning, Intelligent Tutors |
1 | Gaële Simon, Marianne Flouret, Bruno Mermet |
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
multi-agent system, methodology, graph colouring |
1 | Daniel Pop, Viorel Negru |
Knowledge Management in Expert System Creator. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
knowledge management, data integration, Expert systems, integrated development environments |
1 | Svetla Boytcheva |
ILP Techniques for Free-Text Input Processing. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Free-text input, Natural Language Processing, Inductive Logic Programming |
1 | Christo Dichev |
Do What We Do to Find What You Want. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
web-based technology, information retrieval |
1 | Velislava Stoykova |
Bulgarian Noun - Definite Article in DATR. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
DATR formal language for lexical knowledge presentation, Bulgarian definite article, computational morphology, definiteness |
1 | Ieroham S. Baruch, Alfredo del Carmen Martinez Q., Ruben Garrido, Boyka Nenkova |
Direct Adaptive Neural Control with Integral-Plus-State Action. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sunil Choenni, Henk M. Blanken |
A Dempster-Shafer Approach to Physical Database Design. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carole A. Goble |
The Semantic Web: A Killer App for AI? |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David House, Björn Granström |
Multimodal Speech Synthesis: Improving Information Flow in Dialogue Systems Using 3D Talking Heads. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christo Dichev, Trendafil Madarov |
Propositional Contexts. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Rizzo, G. Munna |
A Neural Network Tool to Organize Large Document Sets. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Svetla Boytcheva, Ognian Kalaydjiev, Ani Nenkova, Galia Angelova |
Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Svetla Boytcheva |
Least Generalization under Relative Implication. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kamenka Staykova, Danail Dochev |
Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project). |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
lexico-grammar resources, Systemic Functional Linguistics, resource sharing, Natural language generation |
1 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Efficient Reasoning Using the Local Closed-World Assumption. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Botana |
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | D. Sramek, Petr Berka, Jirka Kosek, Vojtech Svátek |
Improving WWW Access-from Single-Purpose Systems to Agent Architectures? |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
WWW Access, Data Mining, Agent Architecture, Knowledge Modeling, Meta-Search, Navigation Support |
1 | Zdravko Markov, Ivo Marinchev |
Coverage-Based Semi-distance between Horn Clauses. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma |
Dynamic Knowledge Representation and Its Applications. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Updates of Knowledge Bases, Dynamic Knowledge Representation, Generalized Logic Programs, Theory of Actions |
1 | Guy Gouardères, Anton Minko, Luc Richard |
Simulation and Multi-agent Environment for Aircraft Learning. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Multi-agent Systems, Intelligent Tutoring Systems, Real-time Simulation, Graphical Interface, Interactive Learning Environments, Diagnostic Reasoning |
1 | Evgueni N. Smirnov, H. Jaap van den Herik |
Applying Preference Biases to Conjunctive and Disjunctive Version Spaces. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Allan Ramsay |
Theorem Proving for Constructive lambda-Calculus. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zied Elouedi, Khaled Mellouli, Philippe Smets |
Classification with Belief Decision Trees. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Abdul Manan Ahmad, Nik Nailah Abdullah |
User Authentication via Neural Network. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Allan Ramsay, Helen Seville |
What Did He Mean by That? |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Joost Breuker, Emil Petkov, Radboud Winkels |
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Escalada-Imaz |
A Temporal Many-Valued Logic for Real Time Control Systems. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Computational Complexity, Real Time, Temporal Reasoning, Automated Reasoning, Control Systems, Many-valued Logic |
1 | Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez |
Complexity Issues in the Davis and Putnam Scheme. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Computational Complexity, Search, Theorem Proving, Automated Reasoning |
1 | Preslav Nakov |
Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Walter Balzano, Antonina Dattolo, Vincenzo Loia |
An Open Approach to Distribution, Awareness and Cooperative Work. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ieroham S. Baruch, José Martín Flores, Juan Carlos Martínez, Boyka Nenkova |
Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ngoc Thanh Nguyen 0001 |
Using Consensus Methods for Determining the Representation of Expert Information in Distributed Systems. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stefano A. Cerri, Danail Dochev (eds.) |
Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Shinyoung Lim, Kwanyong Lee, Okhwan Byeon, Taiyun Kim |
Effective Iris Recognition System by Optimized Feature Vectors and Classifier. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hassen Kriaa, Guy Gouardères |
Revisable Analysis and Design throughout Actors Interaction. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Ghédira, Meriem Ennigrou |
How to Schedule a Job Shop Problem through Agent Cooperation. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Scheduling, Multi-Agent systems, Job Shop |
1 | Tony Y. T. Chan |
Supervised Classification for the Triple Parity Strings. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
unifying metric approach, stability quotient, stability optimization, supervised learning, transformation systems |
1 | Stefano A. Cerri, Jean Sallantin, Emmanuel Castro, Daniele Maraschi |
Steps towards C+C: A Language for Interactions. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Interaction Languages, Web Languages, Agent Communication Languages |
1 | Enrico Motta |
Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Belarmino Pulido Junquera, Carlos Alonso González |
An Alternative Approach to Dependeny-Recording Engines in Consistency-Based Diagnosis. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christian Queinnec |
Continuations and Conversations. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nico Roos, Yongping Ran, H. Jaap van den Herik |
Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | P. Nagabhushan, Basavaraj S. Anami |
Handling Diphtong and Triphone Sysmbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Diphthong, Triphone, Pitman Shorthand Language, Knowledge Base, English Text |
1 | Stefan Trausan-Matu |
Metaphor Processing for Learning Terminology on the Web. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
Ontology, XML, WWW, Knowledge-Based Systems, Metaphors, Corpus Linguistics |
1 | Vania Dimitrova, John A. Self, Paul Brna |
Maintaining a Jointly Constructed Student Model. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Alain Laur, Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire |
A General Architecture for Finding Structural Regularities on the Web. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi |
Learning Multiple Predicates. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Delrieux |
Nonmonotonic Reasoning under Uncertain Evidence. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Anatoly Nachev, Niall Griffith, Alexander Gerov |
Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Galia Angelova, Ognian Kalaydjiev, Walther von Hahn |
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Ardissono, Guido Boella |
An Agent Model for NL Dialog Interfaces. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
NL Processing, Multi-Agent Systems, Dialog |
1 | Evgueni N. Smirnov, Peter J. Braspenning |
Version Space Retraction with Instance-Based Boundary Sets. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Serenella Cerrito, Marta Cialdea Mayer |
Using Linear Temporal Logic to Model and Solve Planning Problems. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
Planning, Temporal Reasoning, Linear Temporal Logic, Tableaux, Model Search |
1 | Tarkan Tahseen, Duncan Fyfe Gillies |
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Giunchiglia (eds.) |
Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Veselka Boeva, Elena Tsiporkova, Bernard De Baets |
Modelling Uncertainty with Kripke's Semantics. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Zhang, Qiang Yang 0001 |
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi |
Belief Reconstruction in Cooperative Dialogues. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Adolfo Villafiorita |
Abstraction as a Form of Elaboration Tolerance. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Sebastiani, Adolfo Villafiorita |
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Belaid Benhamou, Amar Isli |
Study of Symmetry in Qualitative Temporal Interval Networks. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini |
Formalizing Belief Reports - The Approach and a Case Study. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pacholczyk |
A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais |
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Erica Melis, Silvio Ranise |
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christo Dichev |
Multicontext Systems with Importing Contexts. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Igor Stéphan |
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marco Baioletti, Stefano Marcugini, Alfredo Milani |
An Extension of SATPLAN for Planning with Constraints. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Lassaad Cheikhrouhou, Jörg H. Siekmann |
Planning Diagonalization Proofs. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | José Gabriel Pereira Lopes, João Balsa |
Overcoming Incomplete Information in NLP Systems - Verb Subcategorization. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino |
Planning via Model Checking in Deterministic Domains: Preliminary Report. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
planning & temporal reasoning |
1 | Chiara Ghidini, Luciano Serafini |
Model Theoretic Semantics for Information Integration. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis P. Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martín Molina, Sascha Ossowski, Ivan Futó, Zoltán Pásztor, János Szeredi, Igor Velbitskiy, Sergey Yershov, Sergey Golub, Igor Netesin |
System Architecture of a Distributed Expert System for the Management of a National Data Network. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
distributed expert systems, distributed prolog, agents, network management |
1 | Ilyas Cicekli |
Theories and Proofs in Fault Diagnosis. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Benzmüller, Volker Sorge |
A Blackboard Architecture for Guiding Interactive Proofs. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zdravko Markov, Nikolay Pelov |
A Framework for Inductive Learning Based on Subsumption Lattices. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | H. Altay Güvenir |
A Classification Learning Algorithm Robust to Irrelevant Features. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani |
Reasoning about Generalized Intervals. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|