Cellular ontology as a basis for spatiotemporal reasoning - Extended abstract and summary

被引：0
|
作者：
Sandewall, E [1 ]
机构：
[1] Linkoping Univ, Linkoping, Sweden
来源：
EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2001年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：3 / 4
页数：2
相关论文
共 44 条
  • [31] Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning (Extended Abstract)
    Reale, Kristian
    Calimeri, Francesco
    Leone, Nicola
    Perri, Simona
    Ricca, Francesco
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364
  • [32] Towards imperative modules: Reasoning about invariants and sharing of mutable state (extended abstract)
    Naumann, DA
    Barnett, M
    [J]. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 313 - 323
  • [33] THE NEURAL BASIS OF ABSTRACT REASONING - AN INVESTIGATION OF 2 PROBLEM-SOLVING TASKS WITH PET
    OSTREM, JL
    BERMAN, KF
    MATTAY, VS
    VANHORN, JD
    ESPOSITO, G
    WEINBERGER, DR
    [J]. BIOLOGICAL PSYCHIATRY, 1994, 35 (09) : 686 - 686
  • [34] THE CELLULAR AND MOLECULAR-BASIS OF THE PLATELET STORAGE LESION - A SYMPOSIUM SUMMARY
    CHERNOFF, A
    SNYDER, EL
    [J]. TRANSFUSION, 1992, 32 (04) : 386 - 390
  • [35] AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals Extended Abstract
    Ricci, Alessandro
    Bordini, Rafael H.
    Hubner, Jomi F.
    Collier, Rem
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 2054 - 2056
  • [36] On Vickrey's Theorem and the Use of ACL2 for Formal Reasoning in Economics (Extended Abstract)
    Gamboa, Ruben
    Cowles, John
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152): : 86 - +
  • [37] MV-Datalog plus /-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
    Lanzinger, Matthias
    Sferrazza, Stefano
    Gottlob, Georg
    [J]. PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6447 - 6451
  • [38] Complexity and Scalability of Reasoning in many-valued Weighted Knowledge Bases with Typicality- Extended Abstract
    Alviano, Mario
    Giordano, Laura
    Dupre, Daniele Theseider
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 385
  • [39] A parameter-extended case-based reasoning method based on a functional basis for automated experiential reasoning in mechanical product designs
    Long, Xinjiani
    Li, Haitao
    Ren, Wen
    Du, Yuefeng
    Mao, Enrong
    Ding, Ning
    [J]. ADVANCED ENGINEERING INFORMATICS, 2021, 50
  • [40] How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)
    Bulling, Nils
    Goranko, Valentin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (112): : 33 - 41
12345