The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Probabilistic Datalog: implementing logical information retrieval for advanced applications
Journal of the American Society for Information Science
Probabilistic Logic Programs and their Semantics
Proceedings of the First Russian Conference on Logic Programming
A Top Down Interpreter for LPAD and CP-Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Concurrency, Graphs and Models
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
ProbLog: a probabilistic prolog and its application in link discovery
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
Challenges for constraint reasoning and optimization in computational sustainability
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
CLP(BN): constraint logic programming for probabilistic knowledge
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Sustainable biomass power plant location in the Italian Emilia-Romagna region
ACM Transactions on Intelligent Systems and Technology (TIST)
An application of fuzzy logic to strategic environmental assessment
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Sustainable energy policies: research challenges and opportunities
Proceedings of the Conference on Design, Automation and Test in Europe
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
Strategic Environmental Assessment is a procedure aimed at introducing systematic assessment of the environmental effects of plans and programs. This procedure is based on the so-called coaxial matrices that define dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and positive and negative environmental impacts, and dependencies between these impacts and environmental receptors. Up to now, this procedure is manually implemented by environmental experts for checking the environmental effects of a given plan or program, but it is never applied during the plan/program construction. A decision support system, based on a clear logic semantics, would be an invaluable tool not only in assessing a single, already defined plan, but also during the planning process in order to produce an optimized, environmentally assessed plan and to study possible alternative scenarios. We propose two logic-based approaches to the problem, one based on Constraint Logic Programming and one on Probabilistic Logic Programming that could be, in the future, conveniently merged to exploit the advantages of both. We test the proposed approaches on a real energy plan and we discuss their limitations and advantages.