咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
The Computational Relevance of Formal logic Through Formal Proofs  3rd
The Computational Relevance of Formal Logic Through Formal P...
收藏 引用
3rd international Formal Methods Teaching workshop (FMTea) Held as Part of the 3rd World Congress on Formal Methods (FM)
作者: Almeida, Ariane A. Rocha-Oliveira, Ana Cristina Ferreira Ramos, Thiago M. de Moura, Flavio L. C. Ayala-Rincon, Mauricio Univ Brasilia Dept Ciencia Comp BR-70910900 Brasilia DF Brazil Univ Brasilia Dept Matemat BR-70910900 Brasilia DF Brazil
The construction of correct software, i.e. a computer program that meets a given specification, is an important goal in Computer Science. Nowadays, not only critical software (the ones used in aircraft, hospitals, ban... 详细信息
来源: 评论
A preliminary report on integrating of answer set and constraint solving
A preliminary report on integrating of answer set and constr...
收藏 引用
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
作者: Baselice, Sabrina Bonatti, Piero Gelfond, M. Dipartimento di Scienze Fisiche Università Federico II Complesso Universitario di Monte Sant'Angelo Via Cinthia Napoli Italy Texas Tech. University Department of Computer Science Lubbock TX United States
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input program before the actual reasoning sta... 详细信息
来源: 评论
Software Engineering and Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Carlos Canal Akram Idani
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included... 详细信息
来源: 评论
CEUR workshop Proceedings
CEUR Workshop Proceedings
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
The proceedings contain 6 papers. The topics discussed include: solving set constraints in B and event-B: foundations and applications;encoding sets as real numbers;programming in Java with restricted intensional sets...
来源: 评论
Interpolation in equilibrium logic and answer set programming: The propositional case  3
Interpolation in equilibrium logic and answer set programmin...
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010
作者: Gabbay, Dov Pearce, David Valverde, Agustín King's College London United Kingdom AI Dept Universidad Politécnica de Madrid Spain Dept of Applied Mathematics Universidad de Málaga Spain
Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propo... 详细信息
来源: 评论
Proposal of a High-Level Language for Writing Self Modifying Programs
收藏 引用
IEEE LATIN AMERICA TRANSACTIONS 2011年 第2期9卷 192-198页
作者: da Silva, S. R. B. Neto, J. J. Univ Estado Amazonas Curso Engn Computacao Manaus Amazonas Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil
This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in t... 详细信息
来源: 评论
Diverse Applications of an Automated Argument System Based on the logic of Multiple-Valued Argumentation
Diverse Applications of an Automated Argument System Based o...
收藏 引用
8th Pacific Rim international workshop on Multi-Agents (PRIMA 2005)
作者: Jeong, Gowun Sawamura, Hajime Korea Adv Inst Sci & Technol Dept Comp Sci Taejon 305701 South Korea Niigata Univ Inst Natl Sci &Technol Acad Assembly Niigata Japan
A logic of Multiple-valued Argumentation (LMA) was formalized by Takahashi and Sawamura on an expressive knowledge representation language, Extended Annotated logic programming (EALP). LMA allows agents to construct a... 详细信息
来源: 评论
A logic-based approach to system modelling  91
A logic-based approach to system modelling
收藏 引用
3rd international workshop on Software Configuration Management, SCM 1991
作者: Rich, Anthony Solomon, Marvin University of Wisconsin-Madison United States Computer Sciences Department 1210 W. Dayton St. MadisonWI53706 United States
Modelling a complex software system requires a description of how its components are related to one another. We propose a new approach to this problem based on logic programming. A declarative system model is develope... 详细信息
来源: 评论
Agent-oriented programming with underlying ontological reasoning
Agent-oriented programming with underlying ontological reaso...
收藏 引用
3rd international workshop on Declarative Agent Languages and Technologies, DALT 2005
作者: Moreira, Álvaro F. Vieira, Renata Bordini, Rafael H. Hübner, Jomi F. Universidade Federal do Rio Grande do Sul Brazil Universidade do Vale do Rio dos Sinos Brazil University of Durham United Kingdom Universidade Regional de Blumenau Brazil
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest;this vision is also affecting important tren... 详细信息
来源: 评论
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... 详细信息
来源: 评论