咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 87 篇 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 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 5 篇 answer set progr...
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 inductive logic ...

机构

  • 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.

语言

  • 354 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是221-230 订阅
排序:
An Implementation of Axml(T): An Answer Set programming Based Formal Language of Authorisation for XML Documents
An Implementation of <i>A<SUP>xml(T)</SUP></i>: An Answer Se...
收藏 引用
2nd international workshop on Communications Security and Information Assurance (CSIA 2011)
作者: Policarpio, Sean Bai, Yun Univ Western Sydney Intelligent Syst Lab Sch Comp & Math Penrith NSW 1797 Australia
A(xml(T)) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power ... 详细信息
来源: 评论
3rd international Conference on Category Theory and Computer Science, CTCS 1989
收藏 引用
3rd international Conference on Category Theory and Computer Science, CTCS 1989
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proo...
来源: 评论
A basis for a multilevel metalogic programming language  4th
收藏 引用
4th international workshop on logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in logic, META 1994
作者: Barklund, Jonas Boberg, Katrin Dell’Acqua, Pierangelo Computing Science Dept Uppsala University Box 311 UppsalaS-751 05 Sweden
We are developing a multilevel metalogic programming language that we call Alloy. It is based on first-order predicate calculus extended with metalogical constructs. An Alloy program consists of a collection of theori... 详细信息
来源: 评论
Reducing propositional theories in equilibrium logic to logic programs
Reducing propositional theories in equilibrium logic to logi...
收藏 引用
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
作者: Cabalar, Pedro Pearce, David Valverde, Agustín Dept. of Computation Univ. of Corunna Spain Dept. of Informatics Statistics and Telematics Univ. Rey Juan Carlos Móstoles Madrid Spain Dept. of Applied Mathematics Univ. of Malaga Spain
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to transform an arbitrary set of proposi... 详细信息
来源: 评论
STARLET : An affix-based compiler compiler designed as a logic programming system  3rd
收藏 引用
3rd international workshop on Compiler Compilers, CC 1990
作者: Beney, Jean Boulicaut, Jean-François Institut National des Sciences Appliquées de Lyon Laboratolre d’Informatique Appliquée Batiment 502 Villeurbanne CedexF-69621 France Ecole Centrale de Lyon Departement Mathématiques-Informatique-Systèmes BP 163 Ecully CedexF-69131 France
We present STARLET, a new compiler compiler which compiles Extended Affix Grammars defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points wh... 详细信息
来源: 评论
Multi-agent Cooperation: A Description logic View
Multi-agent Cooperation: A Description Logic View
收藏 引用
8th Pacific Rim international workshop on Multi-Agents (PRIMA 2005)
作者: Luo, Jiewen Shi, Zhongzhi Wang, Maoguang Huang, He Chinese Acad Sci Inst Comp Technol Beijing Peoples R China
In this paper we propose dynamic description logic for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of de... 详细信息
来源: 评论
Contradiction: When avoidance equals removal Part I  4th
Contradiction: When avoidance equals removal Part I
收藏 引用
4th international workshop on Extensions of logic programming, ELP 1993
作者: Alferes, José Júlio Pereira, Luís Moniz CRIA Uninova and DCS U. Nova de Lisboa Monte da Caparica2825 Portugal
Recently several authors have stressed and illustrated the importance of including a second kind of negation (explicit negation) in logic programs besides "negation as failure", and its use in deductive data... 详细信息
来源: 评论
Meta-programming for reordering literals in deductive databases  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Träff, Jesper Larsson Prestwich, Steven David ECRC - European Computer-Industry Research Centre Arabellastrasse 17 Munich 81D-8000 Germany
Specifying efficient evaluation strategies by meta-interpreters, and then eliminating the interpretation overhead by partial evaluation with respect to given object programs, is an elegant technique for the transforma... 详细信息
来源: 评论
Learning complex activity preconditions in process mining  3
Learning complex activity preconditions in process mining
收藏 引用
3rd international workshop on New Frontiers in Mining Complex Patterns, NFMCP 2014 held in Conjunction with European Conference on Machine Learning and Principles and Practice of knowledge Discovery in Databases, ECML-PKDD 2014
作者: Ferilli, Stefano De Carolis, Berardina Esposito, Floriana Dipartimento di Informatica Università di Bari Bari Italy Centro Interdipartimentale per la Logica e sue Applicazioni Università di Bari Bari Italy
The availability of automatic support may sometimes determine the successful accomplishment of a process. Such a support can be provided if a model of the intended process is available. Many real-world process models ... 详细信息
来源: 评论
Maude versus Haskell: An experimental comparison in security protocol analysis
Maude versus Haskell: An experimental comparison in security...
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Basin, David Denker, Grit Institut fur Informatik Albert-Ludwigs- Universitat Freiburg Universitatsgelande Flugplatz D-79110 Freiburg i. Br. Germany Computer Science Laboratory SRI International Menlo Park CA 94025 United States
We compare two executable languages: the rewriting logic based specification language Maude and the higher-order, lazy, functional programming language Haskell. We compare these languages experimentally on a problem i... 详细信息
来源: 评论