咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 58 册 图书
  • 37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 921 篇 工学
    • 869 篇 计算机科学与技术...
    • 470 篇 软件工程
    • 93 篇 控制科学与工程
    • 66 篇 电气工程
    • 43 篇 信息与通信工程
    • 13 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 建筑学
    • 8 篇 石油与天然气工程
    • 7 篇 交通运输工程
    • 7 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 力学(可授工学、理...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 农业工程
  • 241 篇 理学
    • 203 篇 数学
    • 19 篇 系统科学
    • 17 篇 物理学
    • 15 篇 生物学
    • 7 篇 统计学(可授理学、...
  • 97 篇 管理学
    • 62 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 13 篇 教育学
    • 12 篇 教育学
  • 11 篇 医学
    • 8 篇 基础医学(可授医学...
    • 7 篇 临床医学
  • 10 篇 法学
    • 6 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 文学
  • 3 篇 哲学

主题

  • 254 篇 logic programmin...
  • 53 篇 artificial intel...
  • 50 篇 fuzzy logic
  • 42 篇 semantics
  • 40 篇 formal logic
  • 40 篇 mathematical log...
  • 32 篇 computer circuit...
  • 31 篇 logics and meani...
  • 26 篇 software enginee...
  • 23 篇 integer programm...
  • 22 篇 temporal logic
  • 21 篇 programming tech...
  • 20 篇 programming lang...
  • 19 篇 programming
  • 19 篇 calculations
  • 19 篇 knowledge repres...
  • 17 篇 computer science
  • 17 篇 logic
  • 17 篇 answer set progr...
  • 14 篇 software enginee...

机构

  • 9 篇 univ bath dept c...
  • 9 篇 vienna univ tech...
  • 5 篇 univ london impe...
  • 5 篇 rhein westfal th...
  • 5 篇 univ london impe...
  • 5 篇 univ texas dept ...
  • 4 篇 tu wien austria
  • 4 篇 simon fraser uni...
  • 4 篇 department of co...
  • 4 篇 guangxi key labo...
  • 4 篇 univ liverpool d...
  • 4 篇 univ potsdam ins...
  • 4 篇 carnegie mellon ...
  • 4 篇 univ glamorgan c...
  • 4 篇 univ potsdam ins...
  • 3 篇 univ potsdam ins...
  • 3 篇 theoretical comp...
  • 3 篇 saitama univ dep...
  • 3 篇 microsoft resear...
  • 3 篇 univ potsdam pot...

作者

  • 12 篇 schaub torsten
  • 12 篇 de vos marina
  • 10 篇 brain martin
  • 9 篇 ricca francesco
  • 8 篇 gebser martin
  • 8 篇 russo alessandra
  • 7 篇 gore rajeev
  • 6 篇 leone nicola
  • 6 篇 andrei voronkov
  • 6 篇 xu yang
  • 6 篇 giesl juergen
  • 5 篇 cliffe owen
  • 5 篇 eiter thomas
  • 5 篇 faber wolfgang
  • 5 篇 cabalar pedro
  • 5 篇 gupta gopal
  • 5 篇 tompits hans
  • 5 篇 schaub t
  • 4 篇 mileo alessandra
  • 4 篇 chang liang

语言

  • 1,235 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1251 条 记 录,以下是61-70 订阅
排序:
A linear programming framework for logics of uncertainty
收藏 引用
DECISION SUPPORT SYSTEMS 1996年 第1期16卷 39-53页
作者: Andersen, KA Hooker, JN CARNEGIE MELLON UNIV GRAD SCH IND ADMPITTSBURGHPA 15213
Several logics for reasoning under uncertainty distribute ''probability mass'' over sets in some sense. these include probabilistic logic, Dempster-Shafer theory, other logics based on belief functions... 详细信息
来源: 评论
automated knowledge acquisition by relevant reasoning based on strong relevant logic
Automated knowledge acquisition by relevant reasoning based ...
收藏 引用
7th international conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2003)
作者: Cheng, JD Saitama Univ Dept Informat & Comp Sci Urawa Saitama 3388570 Japan
Almost all existing methodologies and automated tools for knowledge acquisition are somehow based on classical mathematical logic or its various classical conservative extensions. this paper proposes a new approach to... 详细信息
来源: 评论
Towards automated integration of guess and check programs in Answer Set programming  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Eiter, T Polleres, A Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria Univ Innsbruck Inst Informat A-6020 Innsbruck Austria
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical "guess and check" nature of NP problems: the property is ... 详细信息
来源: 评论
GNT -: A solver for disjunctive logic programs  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Janhunen, T Niemelä, I Helsinki Univ Technol Dept Comp Sci & Engn Lab Theoret Comp Sci FIN-02015 Helsinki Finland
An approach where stable models of Disjunctive logic Programs (DLPs) are computed using SMODELS as a core engine is discussed. the approach is based on two program transformations using which the key tasks in computin... 详细信息
来源: 评论
A unified semantics for constraint handling rules in transaction logic
A unified semantics for constraint handling rules in transac...
收藏 引用
9th international conference on logic programming and Nonmonotonic reasoning
作者: Meister, Marc Djelloul, Khalil Robin, Jacques Univ Ulm Fac Ingenieurwissenschaften & Informat Ulm Germany Univ Fed Pernambuco Ctr Informat Recife PE Brazil
reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. this is a pity, because CHR subsumes a wide range of important automated reasoning ... 详细信息
来源: 评论
DLVDB :: Bridging the gap between ASP systems and DBMSs  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Leone, N Lio, V Terracina, G Univ Calabria Dipartmento Matemat I-87036 Arcavacata Di Rende CS Italy
the exploitation of ASP systems for solving real application problems pointed out the need of combining the expressive power of ASP programming with the efficient data management features of existing DBMSs. this paper... 详细信息
来源: 评论
Towards systematic benchmarking in answer set programming: the Dagstuhl initiative  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Borchert, P Anger, C Schaub, T Truszczynski, M Univ Potsdam Inst Informat D-14439 Potsdam Germany Univ Kentucky Dept Comp Sci Lexington KY 40506 USA Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
the Dagstuhl Initiative for systematic benchmarking in answer set programming (ASP) is discussed. Benchmarking is needed in ASP to establish a good practices in the fields of satisfiablity testing and constraint progr... 详细信息
来源: 评论
A Tool that Incrementally Approximates Finite Satisfiability in Full Interval Temporal logic
收藏 引用
7th international Joint conference on automated reasoning (IJCAR) Held as Part of theVienna Summer of logic (VSL)
作者: Ehlers, Ruediger Lange, Martin Univ Kassel Sch Elect Engn & Comp Sci Kassel Germany
Interval Temporal logic (ITL) is a powerful formalism to reason about sequences of events that can occur simultaneously and in an overlapping fashion. Despite its importance for various application domains, little too... 详细信息
来源: 评论
SyLAR-the System for logic and automated reasoning for Situation Management Decision Support Systems  7th
收藏 引用
7th KES international conference on Intelligent Decision Technologies (KES-IDT)
作者: Matsak, Erika Lehtpuu, Tarmo Lorents, Peeter Tallinn Univ Tallinn Estonia Estonian Informat Technol Coll Tallinn Estonia Estonian Business Sch Tallinn Estonia
this paper presents a modified version of forward chaining method of reasoning and a prototype implementation called Sylar - System for logic and automated reasoning, which can be used for situation management. the me... 详细信息
来源: 评论
A Rewriting Strategy to Generate Prime Implicates in Equational logic
收藏 引用
7th international Joint conference on automated reasoning (IJCAR) Held as Part of theVienna Summer of logic (VSL)
作者: Echenim, Mnacho Peltier, Nicolas Tourret, Sophie Grenoble Informat Lab Grenoble France
Generating the prime implicates of a formula consists in finding its most general consequences. this has many fields of application in automated reasoning, like planning and diagnosis, and although the subject has bee... 详细信息
来源: 评论