Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Liang, Senlin"'
Autor:
Andersen, Carl, Benyo, Brett, Calejo, Miguel, Dean, Mike, Fodor, Paul, Grosof, Benjamin N., Kifer, Michael, Liang, Senlin, Swift, Terrance
Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so supports inheritance and other object-oriented features, as well as the hig
Externí odkaz:
http://arxiv.org/abs/1308.4125
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Liang, Senlin, Kifer, Michael
Publikováno v:
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings; 2013, p173-189, 17p
Autor:
Liang, Senlin
Publikováno v:
Web Reasoning & Rule Systems (9783642332029); 2012, p284-290, 7p
Autor:
Liang, Senlin, Kifer, Michael
Publikováno v:
Web Reasoning & Rule Systems (9783642332029); 2012, p139-155, 17p
Autor:
Liang, Senlin, Kifer, Michael
Publikováno v:
Proceedings of the 12th International ACM SIGPLAN Symposium: Principles & Practice of Declarative Programming; 7/26/2010, p45-56, 12p
Publikováno v:
Proceedings of the 18th International Conference: World Wide Web; 4/20/2009, p601-610, 10p
Publikováno v:
Advanced Information Systems Engineering (9783642021435); 2009, p455-469, 15p
Publikováno v:
Logic Programming (9783642028458); 2009, p432-448, 17p