咨询与建议

限定检索结果

文献类型

  • 26 篇 期刊文献
  • 12 篇 会议

馆藏范围

  • 38 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 30 篇 工学
    • 30 篇 计算机科学与技术...
    • 16 篇 软件工程
    • 1 篇 信息与通信工程
  • 14 篇 理学
    • 13 篇 数学
    • 1 篇 物理学
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 38 篇 abductive logic ...
  • 5 篇 sciff
  • 3 篇 business process...
  • 3 篇 linear temporal ...
  • 3 篇 machine learning
  • 3 篇 compliance verif...
  • 3 篇 inductive logic ...
  • 2 篇 computer circuit...
  • 2 篇 interoperability
  • 2 篇 agent languages
  • 2 篇 logic programmin...
  • 2 篇 monitoring
  • 2 篇 static verificat...
  • 2 篇 computational lo...
  • 2 篇 theory
  • 2 篇 verification
  • 2 篇 tabled abduction
  • 2 篇 multi-agent syst...
  • 2 篇 event calculus
  • 2 篇 integrity constr...

机构

  • 5 篇 univ bologna dei...
  • 4 篇 univ london impe...
  • 3 篇 univ ferrara dep...
  • 2 篇 univ indonesia f...
  • 2 篇 univ ferrara fac...
  • 1 篇 univ ferrara end...
  • 1 篇 department of co...
  • 1 篇 univ ferrara dip...
  • 1 篇 free univ bozen ...
  • 1 篇 univ ferrara dep...
  • 1 篇 univ bologna bol...
  • 1 篇 eindhoven univ d...
  • 1 篇 shape tech ctr n...
  • 1 篇 ifsp sao paulo s...
  • 1 篇 ifsuldeminas muz...
  • 1 篇 ucl dept informa...
  • 1 篇 katholieke univ ...
  • 1 篇 univ bari dipart...
  • 1 篇 univ ferrara dmi...
  • 1 篇 free universty o...

作者

  • 10 篇 chesani federico
  • 10 篇 mello paola
  • 9 篇 gavanelli marco
  • 9 篇 montali marco
  • 9 篇 lamma evelina
  • 6 篇 alberti marco
  • 6 篇 torroni paolo
  • 4 篇 kowalski robert
  • 4 篇 sadri fariba
  • 3 篇 russo alessandra
  • 2 篇 ray oliver
  • 2 篇 riguzzi fabrizio
  • 2 篇 broda krysia
  • 2 篇 satoh k
  • 2 篇 zese riccardo
  • 2 篇 saptawijaya ari
  • 2 篇 satoh ken
  • 2 篇 denecker m
  • 2 篇 pereira luis mon...
  • 1 篇 inoue k

语言

  • 35 篇 英文
  • 3 篇 其他
检索条件"主题词=Abductive Logic Programming"
38 条 记 录,以下是11-20 订阅
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on abductive Reasoning*
收藏 引用
FUNDAMENTA INFORMATICAE 2018年 第1-2期161卷 75-111页
作者: Chesani, Federico Mello, Paola De Masellis, Riccardo Di Francescomarino, Chiara Ghidini, Chiara Montali, Marco Tessaris, Sergio Univ Bologna Viale Risorgimento 2 I-40136 Bologna Italy FBK IRST Via Sommar 18 I-38050 Trento Italy Free Univ Bozen Bolzano Piazza Univ 1 I-39100 Bozen Bolzano Italy
The capability to store data about Business Process (BP) executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, predicti... 详细信息
来源: 评论
Obligation as Optimal Goal Satisfaction
收藏 引用
JOURNAL OF PHILOSOPHICAL logic 2018年 第4期47卷 579-609页
作者: Kowalski, Robert Satoh, Ken Imperial Coll London London SW7 2AZ England Natl Inst Informat Tokyo Japan
Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in th... 详细信息
来源: 评论
abductive logic programming as an Effective Technology for the Static Verification of Declarative Business Processes
收藏 引用
FUNDAMENTA INFORMATICAE 2010年 第3-4期102卷 325-361页
作者: Montali, Marco Torroni, Paolo Chesani, Federico Mello, Paola Alberti, Marco Lamma, Evelina Univ Bologna DEIS I-40136 Bologna Italy Univ Nova Lisboa Quinta da Torre CENTRIA P-2829516 Caparica Portugal Univ Ferrara ENDIF I-44100 Ferrara Italy
We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical ... 详细信息
来源: 评论
abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation  23rd
Abductive Reasoning on Compliance Monitoring Balancing Flexi...
收藏 引用
23rd International Symposium on Methodologies for Intelligent Systems (ISMIS)
作者: Chesani, Federico Mello, Paola Montali, Marco Univ Bologna Bologna Italy Free Univ Bozen Bolzano Bolzano Italy
Many emerging applications in Business Process Management, Clinical Guidelines, Service-Oriented and Multi-Agent Systems, are characterized by distribution, complex interaction and coordination dynamics. Such domains,... 详细信息
来源: 评论
Integrating logic programming and Production Systems in abductive logic programming Agents
收藏 引用
3rd International Conference on Web Reasoning and Rule Systems
作者: Kowalski, Robert Sadri, Fariba Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In this framework, logic programs functio... 详细信息
来源: 评论
Formalizing Negotiations Using logic programming
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL logic 2014年 第2期15卷 12-12页
作者: Son, Tran Cao Pontelli, Enrico Ngoc-Hieu Nguyen Sakama, Chiaki New Mexico State Univ MSC CS Dept Comp Sci Las Cruces NM 88003 USA Vinh Univ Dept Comp Sci Vinh City Vietnam Wakayama Univ Dept Comp & Commun Sci Wakayama 6408510 Japan
The article introduces a logical framework for negotiation among dishonest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomple... 详细信息
来源: 评论
Expressing and verifying business contracts with abductive logic programming
收藏 引用
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE 2008年 第4期12卷 9-38页
作者: Alberti, Marco Chesani, Federico Gavanelli, Marco Lamma, Evelina Mello, Paola Montali, Marco Torroni, Paolo Univ Ferrara Dept Engn I-44100 Ferrara Italy Univ Ferrara Fac Engn I-44100 Ferrara Italy Univ Bologna Dept Elect Informat & Syst I-40126 Bologna Italy Univ Bologna Dept Elect Engn I-40126 Bologna Italy
SCIFF is a declarative language, based on abductive logic programming, that accommodates forward rules, predicate definitions, and constraints over finite domain variables. Its abductive declarative semantics can be r... 详细信息
来源: 评论
Towards Practical Tabled Abduction in logic Programs
Towards Practical Tabled Abduction in Logic Programs
收藏 引用
16th Portuguese Conference on Artificial Intelligence (EPIA)
作者: Saptawijaya, Ari Pereira, Luis Moniz Univ Indonesia Fak Ilmu Komputer Depok Indonesia Univ Nova Lisboa Fac Ciencias & Tecnol CENTRIA Dept Informat P-2829516 Lisbon Portugal
Despite its potential as a reasoning paradigm in AI applications, abduction has been on the back burner in logic programming, as abduction can be too difficult to implement, and costly to perform, in particular if abd... 详细信息
来源: 评论
Towards Practical Tabled Abduction Usable in Decision Making
收藏 引用
5th KES International Conference on Intelligent Decision Technologies (KES-IDT)
作者: Saptawijaya, Ari Pereira, Luis Moniz Univ Indonesia Fak Ilmu Komputer Depok Indonesia Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-2829516 Caparica Portugal
Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical kn... 详细信息
来源: 评论
Verifiable agent interaction in abductive logic programming:: The SCIFF framework
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL logic 2008年 第4期9卷 1–43页
作者: Alberti, Marco Chesani, Federico Gavanelli, Marco Lamma, Evelina Mello, Paola Torroni, Paolo Univ Ferrara Dept Engn Via Saragat 1 I-44100 Ferrara FE Italy
SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming;SCIFF's operational component is a new a... 详细信息
来源: 评论