A Prolog environment for GKS-based graphics
Computer Graphics Forum
Timetabling through a deductive database: a case study
Data & Knowledge Engineering
KA&Dgr;MO&Sgr;: a clausal language for CAD Modeling systems with morphological constraints
Computer Graphics Forum
A constraint satisfaction approach to operative management of aircraft routing
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
From eager to lazy constrained data acquisition: a general framework
New Generation Computing
MIRAGGIO: a system for the dynamic management of product data and design models
Advances in Engineering Software
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
ElipSys - A Parallel Programming System based on Logic
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
The SECReTS Banking Expert System from Phase 1 to Phase 2
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Constraint Propagation and Value Acquisition: Why we should do it Interactively
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
The TuCSoN Coordination Infrastructure for Virtual Enterprises
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Special issue on: Spatial and temporal reasoning
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Computational & Mathematical Organization Theory
Reconstruction with Interval Constraints Propagation
CVPR '06 Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1
Exploiting agents in e-learning and skills management context
AI Communications
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
Incremental learning and concept drift in INTHELEX
Intelligent Data Analysis
Software—Practice & Experience
Argumentation in the Semantic Web
IEEE Intelligent Systems
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
A&A for modelling and engineering simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering
The architecture and design of a malleable object-oriented prolog engine
Proceedings of the 2008 ACM symposium on Applied computing
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Wireless sensor networks supporting context-aware reasoning in assisted living
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios
IEEE Intelligent Systems
Argumentation-based agents for eProcurement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Situating Cognitive Agents in GOLEM
Engineering Environment-Mediated Multi-Agent Systems
Context-based design of robotic systems
Robotics and Autonomous Systems
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Linguistically motivated large-scale NLP with C&C and boxer
ACL '07 Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Journal of Logic and Computation
Olex: Effective Rule Learning for Text Categorization
IEEE Transactions on Knowledge and Data Engineering
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Some DLV Applications for Knowledge Management
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Exploiting ASP in Real-World Applications: Main Strengths and Challenges
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Distributed agent environments in the Ambient Event Calculus
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Optimizing Allocation in Floor Storage Systems for the Shoe Industry by Constraint Logic Programming
ISDA '09 Proceedings of the 2009 Ninth International Conference on Intelligent Systems Design and Applications
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
The hedgehog and the fox: an argumentation-based decision support system
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Logic programming in Italy: a historical perspective
A 25-year perspective on logic programming
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A 25-year perspective on logic programming
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Dominant decisions by argumentation agents
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Hi-index | 0.00 |
We present a review of practical applications of Logic Programming appeared in Italy since 1985. We classify them according to their area of application and discuss some trends emerged in the latest developments. Notwithstanding this survey is far to be comprehensive, it shows that Logic Programming successfully evolved and quickly adapted to new challenges offered by a notable variety of application areas.