催眠

此软件的关键字
zbMATH参考文献(14篇文章引用了, 1标准件 )
Bistarelli,Stefano;Martinelli,Fabio;Santini,Francesco:基于半环的带加权凭证访问控制中的演绎/诱拐推理框架(2012) Moniz Pereira,Luís;Pinto,Alexandre Miguel:检查逻辑程序中诱拐的副作用(2011) Alberti,Marco;Gavanelli,Marco;Lamma,Evelina:在诱拐证明过程中添加完整性约束(2010) Montali,Marco;Torroni,Paolo;Chesani,Federico;Mello,Paola;Alberti,Marco;Lamma,Evelina:诱拐逻辑编程作为声明性业务流程静态验证的有效技术(2010年) 乔恩·斯内尔斯;彼得·范维特;汤姆·施里杰弗斯;莱斯利·德科宁克:《随着时间流逝:约束处理规则》(2010) Christiansen,Henning:Prolog和约束处理规则的基于假设推理的可执行规范(2009) 克里斯汀森,亨宁;达尔,维尼卡:诱拐逻辑语法(2009) Marco Gavanelli;Alberti,Marco;Lamma,Evelina:SCIF中诱因推理和约束优化的集成(2009) Mancarella,Paolo;Terreni,Giacomo;Sadri,Fariba;Toni,Francesca;Endriss,Ulle:带约束的溯因逻辑编程的CIFF证明过程:理论、实现和实验(2009) Christiansen,Henning:用约束处理规则实现概率溯因逻辑程序设计(2008) Montali,Marco;Torroni,Paolo;Alberti,Marco;Chesani,Federico;Gavanelli,Marco;Lamma,Evelina;Mello,Paola:使用逻辑编程验证声明性规范(2008) Christiansen,Henning:关于全球绑架的实施(2007) Christiansen,Henning;Dahl,Veronica:HYPROLOG:A new logic programming language with assumptions and causion(2005年) Gabbrielli,Maurizio(编辑);Gupta,Gopal(编辑):逻辑程序设计。 第21届国际会议,ICLP 2005,西班牙西茨,2005年10月2日至5日。 诉讼程序。 (2005年)