咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献
  • 10 册 图书

馆藏范围

  • 365 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 190 篇 软件工程
    • 19 篇 控制科学与工程
    • 13 篇 电气工程
    • 12 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 87 篇 理学
    • 71 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 37 篇 管理学
    • 28 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 86 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 artificial intel...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 mathematical log...
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 357 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是181-190 订阅
排序:
An Evaluative Model to Assess the Organizational Efficiency in Training Corporations  3rd
收藏 引用
3rd international Conference on Future Data and Security Engineering (FDSE) / 10th international Conference on Advanced Computing and Applications (ACOMP)
作者: Fernandes, Ana Vicente, Henrique Figueiredo, Margarida Neves, Mariana Neves, Jose Org Multinacl Formacao Lisbon Portugal Univ Evora Dept Quim Escola Ciencias & Tecnol Evora Portugal Univ Minho Ctr Algoritmi Braga Portugal Univ Evora Ctr Invest Educ & Psicol Evora Portugal Deloitte London England
In an organisation any optimization process of its issues faces increasing challenges and requires new approaches to the organizational phenomenon. Indeed, in this work it is addressed the problematic of efficiency dy... 详细信息
来源: 评论
A backjumping technique for disjunctive logic programming
A backjumping technique for disjunctive logic programming
收藏 引用
3rd international workshop on Answer Set programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
作者: Faber, Wolfgang Leone, Nicola Ricca, Francesco Italy
In this work we present a backjumping technique for Disjunctive logic programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been proposed for propositional satisfiabil... 详细信息
来源: 评论
State generation in the parmc model checker  3rd
收藏 引用
3rd international Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Kaser, Owen University of New Brunswick Saint John Canada
The PARMC system performs modelc hecking for systems described in the XL language, a variant of CCS. Extending previous work by Dong and Ramakrishnan that compiled XL specifications into an optimized transition relati... 详细信息
来源: 评论
Object-oriented behaviour modelling for real-time design
Object-oriented behaviour modelling for real-time design
收藏 引用
3rd international workshop on Object-Oriented Real-Time Dependable Systems
作者: Hanish, AA Dillon, TS La Trobe Univ Victoria Australia
The commonly recognised weakness of modern object-oriented design and implementation methodologies lies in their superficial treatment of inter-object dynamics. This paper addresses the problem of behaviour modelling ... 详细信息
来源: 评论
CLP(Q) for proving interargument relations  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Mesnard, Frédéric Ganascia, Jean-Gabriel Iremia Université de la Réunion 15 av. René Cassin St Denis Codex97489 France Laforia Université Paris VI 4 place Jussieu Paris Codex 0575252 France
In the logic programming community, the concept of interargument relation, that is, the relation that holds between the size of the arguments of a procedure, appears in numerous works on termination proofs for logic p... 详细信息
来源: 评论
programming in Java with restricted intensional sets  3
Programming in Java with restricted intensional sets
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
作者: Cristia, Maximiliano Rossi, Gianfranco Universidad Nacional de Rosario CIFASIS Rosario Argentina Universita Degli Studi di Parma Parma Italy
Intensional sets are sets given by a property rather than by enumerating their elements, similar to set comprehensions available in specification languages such as B and MiniZinc. In a previous paper [3] we have prese... 详细信息
来源: 评论
Research of extended RBAC model on permission control in WEB information system
Research of extended RBAC model on permission control in WEB...
收藏 引用
2011 IEEE 3rd international Conference on Communication Software and Networks, ICCSN 2011
作者: Liqing, Li Rong, Yu Hai, Lu Xudong, Li Institute of Computer Application China Academy of Engineering Physics Mianyang Sichuan China Institute of Applied Electronics China Academy of Engineering Physics Mianyang Sichuan China
According to the characteristics of WEB management information system, a reasonable division has been made between the representation layer and the business layer to further define the relation of permission-page and ... 详细信息
来源: 评论
A tableau system for linear-time temporal logic  3rd
收藏 引用
3rd international workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997
作者: Schmitt, Peter H. Goubault-Larrecq, Jean Institut für Logik Komplexität und Deduktionssysteme Universits Karlsruhe KarlsruheD-76128 Germany
We present a sound, complete and terminating tableau system for the propositional logic of linear-TIME with only (formula presented) and (formula presented) as temporal operators. © Springer-Verlag Berlin Heidelb... 详细信息
来源: 评论
Integrating constraint solving into proof planning  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Melis, E Zimmer, J Müller, T Univ Saarland Fachbereich Informat D-66041 Saarbrucken Germany Univ Saarland Programming Syst Lab D-66041 Saarbrucken Germany
In proof planning mathematical objects with theory-specific properties have to be constructed. More often than not, mere unification offers little support for this task. However, the integration of constraint solvers ... 详细信息
来源: 评论
Compiling multi-paradigm declarative programs into Prolog  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Antoy, S Hanus, M Portland State Univ Dept Comp Sci Portland OR 97207 USA Univ Kiel Inst Informat D-24098 Kiel Germany
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of Curry, is obtained by transforming C... 详细信息
来源: 评论