咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,376 篇 工学
    • 1,341 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 929 篇 理学
    • 902 篇 数学
    • 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...
  • 251 篇 logic programmin...
  • 71 篇 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,558 篇 英文
  • 26 篇 中文
  • 16 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1600 条 记 录,以下是1501-1510 订阅
排序:
logic programming PERSPECTIVE ON DECISION TABLE theory AND practice.
收藏 引用
Data and Knowledge Engineering 1987年 第3期2卷 191-212页
作者: Reilly, Kevin D. Salah, Akram Yang, Chao-Chih Univ of Alabama Birmingham AL USA Univ of Alabama Birmingham AL USA
A theoretical foundation is presented aimed at reconciling the theory and practice of decision table (DT) processing with a family of relatable methodologies represented by logic programming (LP), Prolog, and relation... 详细信息
来源: 评论
NEGATION IN logic programming
收藏 引用
JOURNAL OF logic programming 1987年 第4期4卷 289-308页
作者: KUNEN, K UNIV WISCONSIN DEPT COMP SCIMADISONWI 53706
We define a semantics for negation as failure in logic programming. Our semantics may be viewed as a cross between the approaches of Clark [5] and Fitting [7]. As does [7], our semantics corresponds well with real PRO... 详细信息
来源: 评论
Retractions: A functional paradigm for logic programming  2nd
Retractions: A functional paradigm for logic programming
收藏 引用
2nd International Joint Conference on theory and practice of Software Development, TAPSOFT 1987
作者: Bellia, M. Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56100 Italy
Computable relations are expressed as set retractions. This class of functions is here discussed in a set theory which is built according to the structure of the Herbrand Universe in clausal logic. The approach provid... 详细信息
来源: 评论
Models and equality for logical programming  2nd
Models and equality for logical programming
收藏 引用
2nd International Joint Conference on theory and practice of Software Development, TAPSOFT 1987
作者: Goguen, Joseph A. Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University 94305 United States
We argue that some standard tools from model theory provide a better semantic foundation than the more syntactic and operational approaches usually used in logic programming. In particular, we show how initial models ... 详细信息
来源: 评论
A declarative environment for concurrent logic programming  2nd
A declarative environment for concurrent logic programming
收藏 引用
2nd International Joint Conference on theory and practice of Software Development, TAPSOFT 1987
作者: Clark, Keith L. Foster, Ian T. Dept of Computing Imperial College 180 Queen’s Gate South Kensington LondonSW7 2BZ United Kingdom
A logic programming environment should provide users with declarative control of program development and execution and resource access and allocation. It is argued that the concurrent logic language PARLOG is well sui... 详细信息
来源: 评论
Intensional negation of logic programs: Examples and implementation techniques  2nd
Intensional negation of logic programs: Examples and impleme...
收藏 引用
2nd International Joint Conference on theory and practice of Software Development, TAPSOFT 1987
作者: Barbuti, Roberto Mancarella, Paolo Pedreschi, Dino Turini, Franco Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56100 Italy
Intensional negation is a transformation technique which, given the Horn clause definitions of a set of predicates pi, synthesizes the definitions of new predicates, pi∼ the meaning of which is the effective part of ... 详细信息
来源: 评论
A compositive abstraction algorithm for combinatory logic  2nd
A compositive abstraction algorithm for combinatory logic
收藏 引用
2nd International Joint Conference on theory and practice of Software Development, TAPSOFT 1987
作者: Piperno, Adolfo Dipartimento di Matematica Istituto "G. Castelnuovo" Universita' degli Studi di Roma "La Sapienza" P. le Aldo Moro 5 RomaI-00185 Italy
The problem of the translation of λ-terms into combinators (bracket abstraction) is of great importance for the implementation of functional languages. In the literature there exist a lot of algorithms concerning thi... 详细信息
来源: 评论
Some issues and trends in the semantics of logic programming  3rd
收藏 引用
3rd International Conference on logic programming, ICLP 1986
作者: Jaffar, J. Lassez, J.-L. Maher, M.J. IBM T.J. Watson Research Center Yorktown HeightsNY10598 United States
The simplicity and elegance of definite clauses makes this formalism attractive from a theoretical point of view. The objects in this formalism are the uninterpreted terms over the Herbrand universe. programming howev... 详细信息
来源: 评论
ALCOHOL EDUCATION RESEARCH AND practice - A logicAL ANALYSIS OF THE 2 REALITIES
收藏 引用
JOURNAL OF DRUG EDUCATION 1986年 第4期16卷 349-365页
作者: GOODSTADT, MS ADDICT RES FDN EDUC RES PROGRAM 33 RUSSELL ST TORONTO M5S 2S1 ONTARIO CANADA
The assumptions underlying alcohol education programs, and the impact of such programs are examined from the perspectives of inferential and deductive logic. The inconclusiveness of empirical evidence concerning progr... 详细信息
来源: 评论
programming WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.
收藏 引用
theory and practice of Software Technology, Proceedings of the International Seminars on Software Engineering.
作者: Goguen, Joseph Plaisted, David Meseguer, Jose SRI Int Computer Science Lab Menlo Park CA USA SRI Int Computer Science Lab Menlo Park CA USA
OBJ is a logic based ultra-high level programming language that has been strongly influenced by modern programming methodology. In particular, it provides facilities for user definable abstract data types, parameteriz... 详细信息
来源: 评论