Machine learning: an integrated framework and its applications
Machine learning: an integrated framework and its applications
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
A Comparative Analysis of Methods for Pruning Decision Trees
IEEE Transactions on Pattern Analysis and Machine Intelligence
Opportunistic multimodel diagnosis with imperfect models
Information Sciences: an International Journal
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Modelling social action for AI agents
Artificial Intelligence - Special issue: artificial intelligence 40 years later
On the modeling of search in theorem proving—towards a theory of strategy analysis
Information and Computation
Theoretical Computer Science - Special issue: cellular automata
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
Machine Learning for Intelligent Processing of Printed Documents
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Artificial Intelligence
Developing multi-agent systems with a FIPA-compliant agent framework
Software—Practice & Experience
Parallel Computing - Special issue on cellular automata: from modeling to applications
Parallel Computing - Special issue on cellular automata: from modeling to applications
Coordination models: a guided tour
Coordination of Internet agents
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying security protocols as planning in logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Soft computing: integrating evolutionary, neural, and fuzzy systems
Soft computing: integrating evolutionary, neural, and fuzzy systems
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
Complex Systems and Cognitive Processes
Complex Systems and Cognitive Processes
A Constraint-Based Method for Project Scheduling with Time Windows
Journal of Heuristics
Phase Transitions in Relational Learning
Machine Learning
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Process algebras for systems diagnosis
Artificial Intelligence
Personalizing Web Publishing via Information Extraction
IEEE Intelligent Systems
Potential-Based Algorithms in On-Line Prediction and Game Theory
Machine Learning
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Design and Implementation of Cognitive Soccer Robots
RoboCup 2001: Robot Soccer World Cup V
RoboCup-99: Robot Soccer World Cup III
Multiagent System Engineering: The Coordination Viewpoint
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An Application of Automated Equational Reasoning to Many-valued Logic
Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Modelling and Solving Employee Timetabling Problems
Annals of Mathematics and Artificial Intelligence
Linked
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Metaheuristics in combinatorial optimization: Overview and conceptual comparison
ACM Computing Surveys (CSUR)
Distributed Coordination in Heterogeneous Multi-Robot Systems
Autonomous Robots
Relational learning as search in a critical region
The Journal of Machine Learning Research
Ant Colony Optimization
Kernel Methods for Pattern Analysis
Kernel Methods for Pattern Analysis
Top-Down Induction of Model Trees with Regression and Splitting Nodes
IEEE Transactions on Pattern Analysis and Machine Intelligence
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
Constraint and Integer Programming: Toward a Unified Methodology (Operations Research/Computer Science Interfaces", 27)
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
Why Evaluate Ontology Technologies? Because It Works!
IEEE Intelligent Systems
Artificial Neural Networks for Document Analysis and Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
A Theoretical and Experimental Analysis of Linear Combiners for Multiple Classifier Systems
IEEE Transactions on Pattern Analysis and Machine Intelligence
A Study of Fitness Distance Correlation as a Difficulty Measure in Genetic Programming
Evolutionary Computation
2005 Special Issue: The loading problem for recursive neural networks
Neural Networks - Special issue on neural networks and kernel methods for structured domains
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Preface: Introduction to the special issue on evolutionary computer vision and image understanding
Pattern Recognition Letters - Special issue: Evolutionary computer vision and image understanding
Specifying Data-Flow Requirements for the Automated Composition of Web Services
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Exploiting AUC for optimal linear combinations of dichotomizers
Pattern Recognition Letters - Special issue: ROC analysis in pattern recognition
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Handbook of Spatial Logics
Classifying web documents in a hierarchy of categories: a comprehensive study
Journal of Intelligent Information Systems
A composite-neighborhood tabu search approach to the traveling tournament problem
Journal of Heuristics
Fitness landscape of the cellular automata majority problem: View from the "Olympus"
Theoretical Computer Science
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting
The Journal of Machine Learning Research
Adaptive, intelligent presentation of information for the museum visitor in PEACH
User Modeling and User-Adapted Interaction
Terminological and ontological analysis of European directives: multilinguism in law
Proceedings of the 11th international conference on Artificial intelligence and law
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Software—Practice & Experience
Efficient Stereo Vision for Obstacle Detection and AGV Navigation
ICIAP '07 Proceedings of the 14th International Conference on Image Analysis and Processing
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Abstract branching for quantified formulas
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
kFOIL: learning simple relational kernels
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Exploiting temporal flexibility to obtain high quality schedules
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
WebCrow: a WEB-based system for crossword solving
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
An experimental comparison of constraint logic programming and answer set programming
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Temporal decision trees: model-based diagnosis of dynamic systems on-board
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
Clause/term resolution and learning in the evaluation of quantified Boolean formulas
Journal of Artificial Intelligence Research
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Surprise as shortcut for anticipation: clustering mental states in reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Incremental construction of structured hidden Markov models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Getting serious about the development of computational humor
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Interpretation of definite noun phrases
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Combining probabilities, failures and safety in robot control
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Allocation and scheduling for MPSoCs via decomposition and no-good generation
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
Electronic Notes in Theoretical Computer Science (ENTCS)
Co-fields: towards a unifying approach to the engineering of swarm intelligent systems
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
A taxonomy of theorem-proving strategies
Artificial intelligence today
External sources of computation for answer set solvers
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A methodology for building semantic web mining systems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Compositional verification of asynchronous processes via constraint solving
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
About implicit and explicit shape representation
Reasoning, Action and Interaction in AI Theories and Systems
An agent-oriented conceptual framework for systems biology
Transactions on Computational Systems Biology III
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Selection intensity in cellular evolutionary algorithms for regular lattices
IEEE Transactions on Evolutionary Computation
Evolving assembly programs: how games help microprocessor validation
IEEE Transactions on Evolutionary Computation
Evolving binary classifiers through parallel computation of multiple fitness cases
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
The human in the loop of a delegated agent: the theory of adjustable social autonomy
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
IEEE Transactions on Image Processing
Supervised neural networks for the classification of structures
IEEE Transactions on Neural Networks
A general framework for adaptive processing of data structures
IEEE Transactions on Neural Networks
Contextual processing of structured data by recursive cascade correlation
IEEE Transactions on Neural Networks
Recursive processing of cyclic graphs
IEEE Transactions on Neural Networks
Hi-index | 0.00 |
This chapter aims to provide an overview of the main Italian research areas and activities. We first analyze the collaboration structure of Italian research, which involves more than eight hundred scholars and researchers from both universities and industry. From a network perspective it appears to be scale-free. Next, we briefly illustrate the main subjects of investigation and applications. AI research in Italy goes back to the 1970s with an increase in the last twenty years and spans the main research AI areas, from automated reasoning and ontologies to machine learning, robotics and evolutionary computation.