bookchapters.bib

@incollection{EspFerLam00-BC,
  author = {Floriana Esposito AND Stefano Ferilli AND Evelina Lamma AND
                Paola Mello AND Michela Milano AND Fabrizio Riguzzi AND Giovanni Semeraro},
  title = {Cooperation of Abduction and Induction in Logic Programming},
  booktitle = {Abductive and Inductive Reasoning: Essays on thier Relation
  and Integration},
  editor = {Peter A. Flach and Antonis C. Kakas},
  publisher = {Kluwer  Academic Publishers},
  address = {Dordrecht, \TheNetherlands},
  year = {2000},
  abstract = {We propose an integration of abduction and induction where the two
inference processes cooperate in order to perform more powerful inferences.
We assume the definitions of abduction and induction as given in Abductive
Logic Programming and Inductive Logic Programming.
Abduction helps
induction by generating atomic hypotheses that can be used as new examples
or for completing an incomplete background knowledge.
Induction helps
abduction by generalizing explanations.

We present a learning algorithm that integrates abduction and induction.
The algorithm solves a new learning problem where both the background and the
target theory are abductive theories and abductive derivability is used as the
example coverage relation.

We then show how the algorithm can be applied to learning from incomplete
knowledge and learning exceptions.},
  keywords = {Abduction, Negation, Integrity_Constraints},
  month = apr,
  pages = {233--252},
  http = {http://www.springer.com/gp/book/9780792362500},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/LamMelRig-ABDINDBK00.pdf},
  copyright = {Kluwer  Academic Publishers},
  ebook-isbn = {978-94-017-0606-3},
  doi = {10.1007/978-94-017-0606-3},
  hardcover-isbn = {978-0-7923-6250-0},
  softcover-isbn = {978-90-481-5433-3},
  series = {Applied Logic Series},
  issn = {1386-2790}
}
@incollection{LamRigSto06-BC,
  author = {Evelina Lamma AND Fabrizio Riguzzi AND Sergio Storari},
  title = {Improving the K2 Algorithm Using
Association Rule Parameters},
  booktitle = {Modern Information Processing: From Theory to
Applications},
  editor = {Bernadette Bouchon-Meunier and Giulianella Coletti and Ronald
 Yager},
  publisher = {Elsevier},
  address = {Amsterdam, \TheNetherlands},
  isbn = {0-444-52075-9},
  year = {2006},
  pages = {207--217},
  doi = {10.1016/B978-044452075-3/50018-2},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/LamRigSto-IPMUBK06.pdf},
  url = {http://www.sciencedirect.com/science/article/pii/B9780444520753500182},
  abstract = {
A Bayesian network is an appropriate tool to work with the
uncertainty  that is typical of real-life applications. Bayesian
network arcs represent statistical dependence between different
variables and can be automatically elicited from database by
Bayesian network learning algorithms such as K2. In the data
mining field, association rules can also be interpreted  as
expressing statistical dependence relations. In this paper we
present an extension of K2 called K2-rules that exploits a
parameter normally defined in relation to association rules for
learning Bayesian networks. We compare K2-rules with K2 and TPDA
on the problems of learning four Bayesian networks. The
experiments show that K2-rules improves both K2 and TPDA with
respect to the quality of the learned network and K2 with respect
to the execution time},
  keywords = {
Bayesian Networks, Machine Learning, Association
Rules}
}
@incollection{CatLamRigSto10-ISKM-BC,
  author = {Massimiliano Cattafi and Evelina Lamma and Fabrizio Riguzzi and Sergio Storari},
  title = {Incremental Declarative Process Mining},
  booktitle = {Smart Information and Knowledge Management: Advances, Challenges,
       and Critical Issues},
  year = {2010},
  editor = {Ngoc Thanh Nguyen and Edward Szczerbicki},
  publisher = {Springer},
  address = {Heidelberg, \Germany},
  series = {Studies in Computational Intelligence},
  issn = {1860-949X},
  isbn = {978-3-642-04583-7},
  doi = {10.1007/978-3-642-04584-4_5},
  volume = {260},
  pages = {103--127},
  abstract = {Business organizations achieve their mission by performing a number 
of processes. These span from simple sequences of actions to complex 
structured sets of activities with complex interrelation among them. The 
field of Business Processes Management studies how to describe, analyze, 
preserve and improve processes. In particular the subfield of Process 
Mining aims at  inferring a model of the processes from logs (i.e. the 
collected records of performed activities).
Moreover,  processes can change over time to reflect mutated conditions, therefore 
it is often necessary to update the model. We call this activity Incremental 
Process Mining. To solve this problem, we modify the process mining system 
DPML  to obtain IPM (Incremental Process Miner), which employs a subset of the 
SCIFF language to represent models and adopts techniques developed in 
Inductive Logic Programming to perform theory revision. The experimental 
results show that is more convenient to revise a theory rather than 
learning a new one from scratch.
},
  keywords = {Business Processes, Process Mining, Theory Revision},
  url = {http://springerlink.com/content/663tx3001671j503/?p=1581a28611ac48088b750995a9767d5f&pi=4},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/CatLamRigSto09-ISKM-BC.pdf},
  copyright = {Springer},
  scopus = {2-s2.0-74049114164}
}
@incollection{GavRigMilCag13-CIDASD13-BC,
  editor = { Ting Yu and Nitesh Chawla and Simeon Simoff},
  author = {Marco Gavanelli and Fabrizio Riguzzi and Michela Milano and Paolo Cagnoli},
  title = {Constraint and Optimization techniques for supporting  Policy Making},
  booktitle = {Computational Intelligent Data Analysis for Sustainable Development},
  year = {2013},
  series = {Data Mining and Knowledge Discovery Series},
  publisher = {Chapman \& Hall/CRC},
  chapter = {12},
  pages = {361-382},
  abstract = {Public institutions develop policies and plans in order to achieve
economic and social development while preserving the environment. This
is a difficult task where computational intelligence data analysis
techniques can provide an important contribution. The policy maker has
to take decisions by optimizing a set of often conflicting objectives
and satisfying a set of constraints. The aim is to reduce negative
impacts and enhance positive impacts of plan decisions on the
environment, society and economy, exploiting all the data that is
available on the territory that is targeted.
Up to now, only agent-based simulation models have been proposed in
the literature for policy making. In these models, agents represent
the parties involved in the decision making and implementation process
and simulation is used in order to evaluate the impacts of the policy.
Agent-based simulation models provide ``individual level models'': we
claim that the policy planning activity needs also a global
perspective that faces the problem at a global level while tightly
interacting with the individual level model.
We thus propose a mathematical optimization model that can be applied to
regional planning. In the model, decision variables represent
political decisions (for instance the magnitude of a given activity in
the regional plan), potential outcomes are associated with each
decision by considering the available data,  constraints limit possible
combination of assignments of decision variables, and objectives
can be used either to evaluate alternative solutions, or translated
into additional constraints. The model has been solved with Constraint
Programming techniques.
The model has been tested on the Emilia-Romagna regional energy plan.
The results have been validated with an expert in policy making and
impact assessment to evaluate the accuracy of the results.},
  url = {http://www.crcnetbase.com/doi/abs/10.1201/b14799-18},
  doi = {10.1201/b14799-18},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/GavRigMil-CIDASD13.pdf},
  isbn = {978-1-43-989594-8},
  isbn = {978-1-4398-9595-5},
  address = {Abingdon, UK}
}
@incollection{RigBel14-URSWa-BC,
  year = {2014},
  isbn = {978-3-319-13412-3},
  booktitle = {Uncertainty Reasoning for the Semantic Web III},
  series = {Lecture Notes in Computer Science},
  editor = {Bobillo, Fernando and Carvalho, Rommel N. and Costa, Paulo C.G. and d'Amato, Claudia and Fanizzi, Nicola and Laskey, Kathryn B. and Laskey, Kenneth J. and Lukasiewicz, Thomas and Nickles, Matthias and Pool, Michael},
  doi = {10.1007/978-3-319-13413-0_4},
  title = {Learning Probabilistic Description Logics},
  publisher = {Springer International Publishing},
  copyright = {Springer International Publishing},
  author = {Riguzzi, Fabrizio and Bellodi, Elena and Lamma, Evelina and Zese, Riccardo and Cota, Giuseppe},
  pages = {63-78},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/RigBel14-URSWa-BC.pdf},
  language = {English},
  volume = {8816},
  note = {The original publication is available at
\url{http://link.springer.com}}
}
@incollection{RigBel14-URSWb-BC,
  year = {2014},
  isbn = {978-3-319-13412-3},
  booktitle = {Uncertainty Reasoning for the Semantic Web III},
  series = {Lecture Notes in Computer Science},
  editor = {Bobillo, Fernando and Carvalho, Rommel N. and Costa, Paulo C.G. and d'Amato, Claudia and Fanizzi, Nicola and Laskey, Kathryn B. and Laskey, Kenneth J. and Lukasiewicz, Thomas and Nickles, Matthias and Pool, Michael},
  doi = {10.1007/978-3-319-13413-0_5},
  title = {Semantics and Inference for Probabilistic Description Logics},
  publisher = {Springer International Publishing},
  copyright = {Springer International Publishing},
  author = {Zese, Riccardo and Bellodi, Elena and Lamma, Evelina and Riguzzi, Fabrizio and Aguiari, Fabiano},
  pages = {79-99},
  language = {English},
  volume = {8816},
  url = {http://ml.unife.it/wp-content/uploads/Papers/RigBel14-URSWb-BC.pdf},
  note = {The original publication is available at
\url{http://link.springer.com}}
}
@incollection{NguRig17-IMAKE-BC,
  author = {Arnaud {Nguembang Fadja} and Fabrizio Riguzzi},
  title = {Probabilistic Logic Programming in Action},
  booktitle = {Towards Integrative Machine Learning and Knowledge Extraction: BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers},
  year = {2017},
  editor = {Andreas Holzinger and Randy Goebel and Massimo Ferri and Vasile Palade},
  publisher = {Springer},
  address = {Heidelberg, \Germany},
  series = {Lecture Notes in Computer Science},
  volume = {10344},
  copyright = {Springer},
  doi = {10.1007/978-3-319-69775-8_5},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/NguRig17-IMAKE-BC.pdf},
  abstract = {Probabilistic Programming (PP) has  recently emerged as an
effective approach  for building complex probabilistic models. Until recently PP was mostly
focused on
 functional programming  while now Probabilistic Logic Programming (PLP)
 forms a significant subfield.
In this paper we aim at presenting a quick overview of the features of current languages and systems
for
 PLP.
We first present the basic
semantics  for probabilistic logic programs and then consider extensions for
dealing with infinite structures and continuous random variables.
To show the modeling features of PLP in action, we present several examples:
 a simple generator of random 2D tile maps,
an encoding of Markov Logic Networks, the  truel game,
the coupon collector problem, the one-dimensional random walk, latent Dirichlet allocation and the Indian GPA problem.
These examples show the maturity of PLP.
},
  pages = {89--116},
  keywords = {Probabilistic Logic Programming, Probabilistic Logical Inference, Hybrid programs},
  scopus = {2-s2.0-85033590324},
  issn = {1860-949X},
  isbn-print = {978-3-319-69774-1},
  isbn-online = {978-3-319-69775-8},
  note = {The final publication is available at Springer via
 \url{http://dx.doi.org/10.1007/978-3-319-69775-8_5}}
}
@incollection{RigSwi18-WFS-BC,
  title = {A Survey of Probabilistic Logic Programming},
  author = {Fabrizio Riguzzi and Theresa Swift},
  year = {2018},
  editor = {Michael Kifer and Yanhong A. Liu},
  booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
  publisher = {Association for Computing Machinery and Morgan \& Claypool},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/RigSwi-WFS16.pdf},
  doi = {10.1145/3191315.3191319},
  isbn = {978-1-97000-199-0},
  pages = {185-228},
  address = {New York, NY, USA},
  abstract = {The combination of logic programming and probability has proven useful for modeling domains with complex and uncertain relationships among elements. Many probabilistic logic programming (PLP) semantics have been proposed; among these, the distribution semantics has recently gained increased attention and has been adopted by many languages such as the Independent Choice Logic, PRISM, Logic Programs with Annotated Disjunctions, ProbLog, and P-log.

This chapter reviews the distribution semantics, beginning with the simplest case with stratified Datalog programs, and showing how the definition is extended to programs that include function symbols and non-stratified negation. The languages that adopt the distribution semantics are also discussed and compared both to one another and to Bayesian networks.We then survey existing approaches for inference in PLP languages that follow the distribution semantics. We concentrate on the PRISM, ProbLog, and PITA systems. The PRISM system was one of the first and can be applied when certain restrictions on the program hold. ProbLog introduced the use of Binary Decision Diagrams that provide a computational basis for removing these restrictions and so performing inference over more general classes of logic programs. PITA speeds up inference by using tabling and answer subsumption. It supports general probabilistic programs, but can easily be optimized for simpler settings and even possibilistic uncertain reasoning. The chapter also discusses the computational complexity of the various approaches together with techniques for limiting it by resorting to approximation.},
  keywords = {Probabilistic Logic Programming, Distribution Semantics, Statistical Relational Artificial
  Intelligence}
}

This file was generated by bibtex2html 1.98.