Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Year of Publication 2010
Get full text
Conference Proceeding
Loading…
Loading…
Non-terminating processes in the situation calculus
De Giacomo, Giuseppe, Ternovska, Eugenia, Reiter, Ray
Published in Annals of mathematics and artificial intelligence (01.06.2020)
Published in Annals of mathematics and artificial intelligence (01.06.2020)
Get full text
Journal Article
Loading…
Loading…
DIGITAL BULGARIA IN PROLOG PROJECT
Tabakova-Komsalova, Veneta, Stoyanov, Stanimir, Doukovska, Lubka
Published in Education and Technologies Journal (01.08.2022)
Published in Education and Technologies Journal (01.08.2022)
Get full text
Journal Article
Loading…
Loading…
Content and representation effects with reasoning tasks in PROLOG form
ORMEROD, T. C., MANKTELOW, K. I., ROBSON, E. H., STEWARD, A. P.
Published in Behaviour & information technology (01.04.1986)
Published in Behaviour & information technology (01.04.1986)
Get full text
Journal Article
Loading…