Representing database programs as objects
Advances in database programming languages
Persistence software: bridging object-oriented programming and relational databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
Proceedings of the 1999 international conference on Logic programming
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
The USA-Advisor: A Case Study in Answer Set Planning
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Computer-Aided School and University Timetabling: The New Wave
Selected papers from the First International Conference on Practice and Theory of Automated Timetabling
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Exploiting agents in e-learning and skills management context
AI Communications
Java Persistence with Hibernate
Java Persistence with Hibernate
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Some DLV Applications for Knowledge Management
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Disjunctive asp with functions: Decidable queries and effective computation*
Theory and Practice of Logic Programming
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
ASP at work: spin-off and applications of the DLV system
Logic programming, knowledge representation, and nonmonotonic reasoning
ASPIDE: integrated development environment for answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A Logic-Based System for e-Tourism
Fundamenta Informaticae - On the Italian Conference on Computational Logic: CILC 2009
Inconsistency Tolerance
OPAL: automated form understanding for the deep web
Proceedings of the 21st international conference on World Wide Web
Team-building with answer set programming in the gioia-tauro seaport
Theory and Practice of Logic Programming
Hi-index | 0.00 |
Answer Set Programming (ASP) is a powerful language for knowledge representation and reasoning, that has been developed in the field of nonmonotonic reasoning and logic programming. The high knowledge-modeling power of ASP, together with the availability of efficient ASP systems, have implied a renewed interest in this formalism in recent years. ASP has been applied in many scientific applications, ranging from Artificial Intelligence, to Knowledge Management and Information Integration. The big challenge now is to show that ASP can be profitably used for real-world applications, and can attract much interest also in industry. In this paper, we report on our on-the-field experience on the development of real-world applications in ASP. We have employed the DLV system, the first ASP system which is undergoing an industrial exploitation by a spin-off company, and is very well-suited for applications development, thanks also to the endowment of powerful development tools, supporting the activities of researchers and implementors. In particular, we describe a couple of real-world ASP applications for work-force management and e-tourism, and we focus on two advanced development tools for DLV: ASPIDE and JDLV. ASPIDE is an extensible integrated development environment for ASP; while JDLV is a plug-in for Eclipse, integrating ASP in a well-assessed development platform which enables a bilateral interaction between ASP and Java.