peritonitis 发表于 2025-4-1 01:50:24

Eberhard Schaich,Hans Wolfgang Brachingerhese languages, gathered together under the name of A-Prolog, can be used to represent various types of knowledge about the world. By way of example we demonstrate how the corresponding representations together with inference mechanisms associated with A-Prolog can be used to solve various programmi

Living-Will 发表于 2025-4-1 08:33:41

Eberhard Schaich,Hans Wolfgang Brachinger Sergot. In this paper we summarise how variants of the Event Calculus may be expressed as classical logic axiomatisations, and how under certain circumstances these theories may be reformulated as “action description language” domain descriptions using the Language .. This enables the classical log

hemophilia 发表于 2025-4-1 13:06:06

,Gesundheits-, Arbeits- und Brandschutz Ü 2, and expressivity of logical representations are particularly useful in more complex natural language learning tasks. A number of inductive logic programming (ILP) techniques for natural language are analysed including the CHILL system, abduction and the incorporation of linguistic knowledge, includ

燕麦 发表于 2025-4-1 14:50:45

http://reply.papertrans.cn/24/2327/232636/232636_64.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Computational Logic: Logic Programming and Beyond; Essays in Honour of Antonis C. Kakas,Fariba Sadri Book 2002 Springer-Verlag Berlin Heid