Search results for "AIMSA"

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

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