conferences.bib

@inproceedings{AlbCotRigZes16-AIIA-IC,
  booktitle = {Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence ({AI*IA2016}),
Genova, Italy,  28 November - 1 December 2016},
  editor = {Giovanni Adorni and Stefano Cagnoni and Marco Gori and Marco Maratea},
  year = {2016},
  title = {Probabilistic Logical Inference On the Web},
  author = {Marco Alberti and Giuseppe Cota and Fabrizio Riguzzi and Riccardo Zese},
  abstract = {cplint on SWISH is a web application for probabilistic
    logic programming. It allows users to perform inference and
    learning using just a web browser, with the computation performed
    on the server. In this paper we report on recent advances in the
    system, namely the inclusion of algorithms for computing
    conditional probabilities with exact, rejection sampling and
    Metropolis-Hasting methods. Moreover, the system now allows hybrid
    programs, i.e., programs where some of the random variables are
    continuous. To perform inference on such programs likelihood
    weighting is used that makes it possible to also have evidence on
    continuous variables. cplint on SWISH offers also the
    possibility of sampling arguments of goals, a kind of inference
    rarely considered but useful especially when the arguments are
    continuous variables. Finally, cplint on SWISH offers the
    possibility of graphing the results, for example by drawing the
    distribution of the sampled continuous arguments of goals.},
  publisher = {Springer International Publishing},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  volume = {10037},
  copyright = {Springer International Publishing AG},
  keywords = {Probabilistic Logic Programming, Probabilistic Logical Inference, Hybrid program},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/AlbCotRig-AIXIA16.pdf},
  doi = {10.1007/978-3-319-49130-1_26},
  pages = {351-363},
  venue = {Genova, Italy},
  eventdate = {November 28-December 1, 2016},
  isbn-online = {978-3-319-49129-5},
  isbn-print = {978-3-319-49130-1},
  issn = {0302-9743},
  scopus = {2-s2.0-85006074125},
  wos = {WOS:000389797400026},
  note = {The final publication is available at Springer via
\url{http://dx.doi.org/10.1007/978-3-319-49130-1_26}}
}
@inproceedings{AlbLamRigZes16-AIIA-IC,
  booktitle = {Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence ({AI*IA2016}),
Genova, Italy,  28 November - 1 December 2016},
  editor = {Giovanni Adorni and Stefano Cagnoni and Marco Gori and Marco Maratea},
  year = {2016},
  title = {Probabilistic Hybrid Knowledge Bases under the Distribution
  Semantics},
  author = {Marco Alberti and Evelina Lamma and Fabrizio Riguzzi and Riccardo Zese},
  abstract = {Since Logic Programming (LP) and Description Logics (DLs) are based on
  different assumptions (the closed and the open world assumption,
  respectively), combining them provides higher expressiveness in
  applications  that require both
  assumptions.

  Several proposals have been made to combine LP and DLs. An especially
  successful line of research is the one based on the Lifschitz's
  logic of Minimal Knowledge with Negation as Failure (MKNF).  Motik
  and Rosati introduced Hybrid knowledge bases (KBs), composed of LP
  rules and DL axioms, gave them an MKNF semantics and
  studied their complexity. Knorr et al. proposed a well-founded semantics for
  Hybrid KBs where the LP clause heads are non-disjunctive, which
  keeps querying polynomial (provided the underlying DL is polynomial)
  even when the LP portion is non-stratified.

  In this paper, we propose Probabilistic Hybrid Knowledge Bases (PHKBs),
  where the atom in the head of LP clauses and each DL axiom is
  annotated with a probability value. PHKBs are given a distribution
  semantics by defining a probability distribution over deterministic
  Hybrid KBs. The probability of a query being true is the sum of the
  probabilities of the deterministic KBs that entail the query. Both
  epistemic and statistical probability can be addressed, thanks to
  the integration of probabilistic LP and DLs.},
  publisher = {Springer International Publishing},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  volume = {10037},
  copyright = {Springer International Publishing AG},
  issn = {0302-9743},
  keywords = {Probabilistic Logic Programming, Probabilistic Description Logics, Hybrid Knowledge Bases},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/AlbLamRig-AIXIA16.pdf},
  doi = {10.1007/978-3-319-49130-1_27},
  pages = {364-376},
  venue = {Genova, Italy},
  scopus = {2-s2.0-85005950065},
  wos = {WOS:000389797400027},
  eventdate = {November 28-December 1, 2016},
  isbn-online = {978-3-319-49129-5},
  isbn-print = {978-3-319-49130-1},
  note = {The final publication is available at Springer via
\url{http://dx.doi.org/10.1007/978-3-319-49130-1_27}}
}
@inproceedings{AlbGavLam17-RR-IC,
  author = {Alberti, Marco and Gavanelli, Marco
and Lamma, Evelina
and Riguzzi, Fabrizio
and Riccardo, Zese},
  editor = {Costantini, Stefania
and Franconi, Enrico
and Van Woensel, William
and Kontchakov, Roman
and Sadri, Fariba
and Roman, Dumitru},
  title = {Dischargeable Obligations in Abductive Logic Programming},
  booktitle = {Rules and Reasoning: International Joint Conference,
 RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings},
  year = {2017},
  publisher = {Springer International Publishing},
  copyright = {Springer International Publishing AG},
  series = {Lecture Notes in Computer Science},
  volume = {10364},
  address = {Cham},
  isbn-print = {978-3-319-61251-5},
  isbn-online = {978-3-319-61252-2},
  doi = {10.1007/978-3-319-61252-2_2},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/AlbGavLam-RR17.pdf},
  pages = {7--21},
  abstract = {
Abductive Logic Programming (ALP) has been proven very
effective for formalizing societies of agents, commitments and norms, in
particular by mapping the most common deontic operators (obligation,
prohibition, permission) to abductive expectations.
In our previous works, we have shown that ALP is a suitable framework
for representing norms. Normative reasoning and query answering were
accommodated by the same abductive proof procedure, named SCIFF.
In this work, we introduce a defeasible
flavour in this framework, in order
to possibly discharge obligations in some scenarios. Abductive expectations
can also be qualified as dischargeable, in the new, extended syntax.
Both declarative and operational semantics are improved accordingly,
and proof of soundness is given under syntax allowedness conditions.
The expressiveness and power of the extended framework, named SCIFFD,
is shown by modeling and reasoning upon a fragment of the Japanese
Civil Code. In particular, we consider a case study concerning manifestations
of intention and their rescission (Section II of the Japanese Civil
Code).},
  keywords = {Abduction, Abductive Logic Programming, Legal Reasoning,
Normative Reasoning},
  note = {The final publication is available at Springer via
 \url{http://dx.doi.org/10.1007/978-3-319-61252-2_2}}
}

This file was generated by bibtex2html 1.98.