咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,249 篇 电子文献
  • 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 篇 cognition

机构

  • 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,234 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1250 条 记 录,以下是61-70 订阅
排序:
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Towards Algorithmic Cut-Introduction
Towards Algorithmic Cut-Introduction
收藏 引用
18th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR)
作者: Hetzl, Stefan Leitsch, Alexander Weller, Daniel Vienna Univ Technol Inst Diskrete Math & Geometrie Vienna Austria Vienna Univ Technol Inst Computersprachen Vienna Austria
We describe a method for abbreviating an analytic classical first-order logic by the introduction of a lemma. Our is based on first computing a compressed representation of present in the analytic proof and then a cut... 详细信息
来源: 评论
DR-Prolog:A system for reasoning with rules and ontologies on the semantic web
DR-Prolog:A system for reasoning with rules and ontologies o...
收藏 引用
7th international Symposium on logical Formalizations of Commonsense reasoning, Commonsense 2005
作者: Antoniou, Grigoris Antonis, B. Computer Science Department University of Crete Greece Institute of Computer Science Greece
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arise... 详细信息
来源: 评论
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 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... 详细信息
来源: 评论
Answer sets: From constraint programming towards qualitative optimization  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Brewka, G Univ Leipzig Dept Comp Sci D-04109 Leipzig Germany
One of the major reasons for the success of answer set programming in recent years was the shift from a theorem proving to a constraint programming view: problems are represented such that stable models, respectively ... 详细信息
来源: 评论
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... 详细信息
来源: 评论