咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 588 篇 会议
  • 104 册 图书
  • 22 篇 学位论文

馆藏范围

  • 1,597 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,201 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 927 篇 理学
    • 900 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 70 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 38 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 47 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,557 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是1551-1560 订阅
排序:
Representation and Reasoning for Goals in BDI Agents  02
Representation and Reasoning for Goals in BDI Agents
收藏 引用
Australasian Computer Science Conference
作者: John Thangarajah Lin Padgham James Harland School of Computer Science and Information Technology RMIT University GPO Box 2476V Melbourne 3001 AUSTRALIA
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this logic, goals are a consistent set of d... 详细信息
来源: 评论
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
arXiv
收藏 引用
arXiv 2021年
作者: Arias, Joaquín Carro, Manuel Chen, Zhuo Gupta, Gopal CETINIA Universidad Rey Juan Carlos IMDEA Software Institute Universidad Politécnica de Madrid University of Texas Dallas United States
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logi... 详细信息
来源: 评论
Ontoscene, a logic-based scene interpreter: Implementation and application in the rock art domain
arXiv
收藏 引用
arXiv 2019年
作者: BRIOLA, DANIELA MASCARDI, VIVIANA GIOSEFFI, MASSIMILIANO Department of Computer Sciences Systems and Communications University of Milano Bicocca Italy Department of Informatics Bioengineering Robotics and Systems Engineering University of Genova Italy
We present OntoScene, a framework aimed at understanding the semantics of visual scenes starting from the semantics of their elements and the spatial relations holding between them. OntoScene exploits ontologies for r... 详细信息
来源: 评论
CoLoSL: Concurrent local subjective logic
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2015年 9032卷 710-735页
作者: Raad, Azalea Villard, Jules Gardner, Philippa Imperial College London United Kingdom
A key difficulty in verifying shared-memory concurrent programs is reasoning compositionally about each thread in isolation. Existing verification techniques for fine-grained concurrency typically require reasoning ab... 详细信息
来源: 评论
Reasoning on DL-LiteR with Defeasibility in ASP
arXiv
收藏 引用
arXiv 2021年
作者: Bozzato, Loris Eiter, Thomas Serafini, Luciano Fondazione Bruno Kessler Via Sommarive 18 Trento38123 Italy Technische Universität Wien Favoritenstraße 9-11 ViennaA-1040 Austria
Reasoning on defeasible knowledge is a topic of interest in the area of description logics, as it is related to the need of representing exceptional instances in knowledge bases. In this direction, in our previous wor... 详细信息
来源: 评论
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set programming with Algebraic Measures
arXiv
收藏 引用
arXiv 2021年
作者: Bozzato, Loris Eiter, Thomas Kiesel, Rafael Fondazione Bruno Kessler Via Sommarive 18 Trento38123 Italy Technische Universität Wien Favoritenstraße 9-11 ViennaA-1040 Austria
Dealing with context dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which is rooted in description logics but l... 详细信息
来源: 评论
Building Information Modeling Using Constraint logic programming
arXiv
收藏 引用
arXiv 2022年
作者: Arias, Joaquín Törmä, Seppo Carro, Manuel Gupta, Gopal CETINIA Universidad Rey Juan Carlos Madrid Spain VisuaLynk Oy Espoo Finland Universidad Politécnica de Madrid Spain IMDEA Software Institute Pozuelo Spain University of Texas at Dallas Richardson United States
Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just ... 详细信息
来源: 评论
线性规划的教学
收藏 引用
数学的实践与认识 2002年 第1期32卷 168-172页
作者: 贺祖国 王晓霞 北京邮电大学理学院 北方交通大学理学院 北京100044
作者给出了线性规划的一个更为一般的表现形式 ,明确定义了具有标准型形式的线性规划的等价变换 ,使得单纯形法的讲解更清晰简洁 ,便于学生掌握 ,且兼顾了数学形式美和逻辑美的学科特点 ;文中也体现了重视实例式教学的想法 .
来源: 评论
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set programming
arXiv
收藏 引用
arXiv 2024年
作者: Takemura, Akihiro Inoue, Katsumi The Graduate University for Advanced Studies SOKENDAI Tokyo Japan National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku Tokyo101-8430 Japan
We propose a method for generating rule sets as global and local explanations for tree-ensemble learning methods using Answer Set programming (ASP). To this end, we adopt a decompositional approach where the split str... 详细信息
来源: 评论
IASCAR: Incremental Answer Set Counting by Anytime Refinement
arXiv
收藏 引用
arXiv 2023年
作者: Fichte, Johannes K. Gaggl, Sarah Alice Hecher, Markus Rusovac, Dominik Sweden TU Dresden Logic Programming and Argumentation Group Germany Massachusetts Institute of Technology United States
Answer set programming (ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practice, but counting still allows quantify... 详细信息
来源: 评论