default search action

combined dblp search
author search
venue search
publication search

ask others

FCR@KI 2024: Würzburg, Germany

> Home > Conferences and Workshops > KI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/ki/2024fcr
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/2024fcr
Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald, Diedrich Wolter:
Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), Würzburg, Germany, September 23, 2024. CEUR Workshop Proceedings 3763, CEUR-WS.org 2024
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/PlittR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/PlittR24
Maximilian Plitt, Nele Russwinkel:
Modeling of Individual Naturalistic Decision Making in a Cognitive Architecture. 5-10
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/Brauner24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Brauner24
Torben Braüner:
Logic and Psychology: A Couple of Case Studies. 11-18
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/Schon24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Schon24
Claudia Schon:
Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning. 19-27
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/Leemhuis24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Leemhuis24
Mena Leemhuis:
Embedding Temporal Description Logic Ontologies by Cone-based Geometric Models. 28-34
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/AndrewsM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/AndrewsM24
Uri Andrews, Luca San Mauro:
On Computational Problems for Infinite Argumentation Frameworks: Hardness of Finding Acceptable Extensions. 35-47
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ki/VonlanthenP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/VonlanthenP24
Simon Dominik Vonlanthen, Matteo Pascucci:
Modal Categorical Inferences in Quarc. 48-59

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.