咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
The Information Agent: an infrastructure agent supporting collaborative enterprise architectures
The Information Agent: an infrastructure agent supporting co...
收藏 引用
IEEE international workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)
作者: M. Barbuceanu M.S. Fox Enterprise Integration Laboratory Department of Industrial Engineering University of Toronto Canada
We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on... 详细信息
来源: 评论
Tutorial on termination of logic programs  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: De Schreye, Danny Verschaetse, Kristof Department of Computer Science Katholieke Universiteit Lenven Celestijnenlaan 200A Heverlee3001 Belgium
We present a general introduction to termination analysis for logic programs, with focus on universal termination of SLD-derivations and on definite programs. We start by providing a generic definition of the terminat... 详细信息
来源: 评论
SysObjC: C extension for development of object-oriented operating systems
SysObjC: C extension for development of object-oriented oper...
收藏 引用
3rd workshop on programming Languages and Operating Systems, PLOS 2006: Linguistic Support for Modern Operating Systems
作者: Balogh, Ádám Csörnyei, Zoltán Department of Algorithms and Their Applications Eötvös Loránd University Pazmany Peter setany 1/C 1117 Budapest Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pazmany Peter setany 1/C 1117 Budapest Hungary
Object-oriented operating systems prefer to consider every data structure as an object. However, data structures predefined by the hardware's manufacturer do not fit into this scheme. First of all, traditional obj... 详细信息
来源: 评论
E-Friend: A logical-Based AI Agent System Chat-Bot for Emotional Well-Being and Mental Health  1st
E-Friend: A Logical-Based AI Agent System Chat-Bot for Emoti...
收藏 引用
1st international workshop on Deceptive AI, DeceptECAI 2020, held in conjunction with 24th European Conference on Artificial Intelligence, ECAI 2020 and 2nd international workshop on Deceptive AI, DeceptAI 2021, held in conjunction with 30th international Joint Conference on Artificial Intelligence, IJCAI 2021
作者: Galindo, Mauricio J. Osorio Moreno, Luis A. Montiel Rojas-Velázquez, David Nieves, Juan Carlos Universidad de las Américas Puebla Ex Hacienda Sta. Catarina Mártir S/N. San Andrés Cholula Puebla72810 Mexico San Andrés Cholula Mexico Department of Computing Science Umeå University Umeå Sweden
In this work, it is proposed the design of a Reasoning logical Based Intelligent Agent System Chat-bot for Dialogue Composition (DC) named E-friend, which uses logic programming (LP) for reasoning tasks. The main cont... 详细信息
来源: 评论
Spatiotemporal = Spatial × Temporal  3
Spatiotemporal = Spatial × Temporal
收藏 引用
3rd Joint Ontology workshops, Episode VIII: The Svear Sommar of Ontology, JOWO 2022
作者: Bai, Yunpiao Grüninger, Michael Department of Mechanical and Industrial Engineering University of Toronto TorontoON Canada
There has been a constant debate about how to integrate spatial and temporal representation together. Three-dimensionalists believe that objects only have spatial dimensions;thus, they take space and time as two separ... 详细信息
来源: 评论
Conditional narrowing with constructive negation  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Ramírez, María José Falaschi, Moreno Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Camino de Vera s/n Apdo. 22012 Valencia46020 Spain Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56125 Italy
In this paper we present a narrower for conditional equational theories whose clauses allow disequations in their bodies (normal theories). Our approach deals with disequations in a constructive manner and thus allows... 详细信息
来源: 评论
A representation of software systems evolution based on the theory of the general system  3rd
收藏 引用
3rd international workshop on Computer Aided Systems Theory, EUROCAST 1993
作者: Parets, José Anaya, Ana Rodríguez, María J. Paderewski, Patricia Dept. de Lenguajes y Sistemas Informáticos Facultad de Ciencias Universidad de Granada Granada18001 Spain
The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the repres... 详细信息
来源: 评论
SAVE/GTS-VLT: Visual logic tool for geo-temporal specification and verification of safety requirements in smart IoT systems  3
SAVE/GTS-VLT: Visual logic tool for geo-temporal specificati...
收藏 引用
3rd international workshop on Practicing Open Enterprise Modeling Within OMiLAB, PrOse 2019
作者: Lee, Sunghyun Lee, Moonkun Chonbuk National University 567 Baekje-daero Deokjin-gu Jeonju-si Jeonbuk54896 Korea Republic of
Visual representation for operational requirements for Smart IoT Systems is desirable in process algebra, since it is more intuitive than textual representation. Further visual representation for safety requirements i... 详细信息
来源: 评论
Providing Dynamic Instructional Adaptation in programming Learning
Providing Dynamic Instructional Adaptation in Programming Le...
收藏 引用
3rd international workshop on Hybrid Artificial Intelligence Systems
作者: Jurado, Francisco Santos, Olga C. Redodo, Miguel A. Boticario, Jesus G. Ortega, Manuel Univ Castilla La Mancha Comp Sci & Engn Fac Paseo Univ 4 E-13071 Ciudad Real Spain Univ Nacl Educ Distancia Sch Comp Sci aDeNu Res Grp E-28040 Madrid Spain
This paper describes an approach to create an Intelligent Tutoring System that provides dynamic personalization and learning activities sequencing adaptation by combining eLearning standards and Artificial Intelligent... 详细信息
来源: 评论
Reachability Problems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Olivier Bournez Igor Potapov
This book constitutes the research papers presented at the 3rd international workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that a... 详细信息
来源: 评论