From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A new algorithm to automate inductive learning of default theories.

F. Shakerin, E. Salazar, и G. Gupta. Theory Pract. Log. Program., 17 (5-6): 1010-1026 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Wenceslao Salazar

Jaime Salazar

Ulrich Elmer

Konrad Elmer

Andreas Elmer

Другие публикации лиц с тем же именем

A new algorithm to automate inductive learning of default theories.F. Shakerin, E. Salazar, и G. Gupta. Theory Pract. Log. Program., 17 (5-6): 1010-1026 (2017)Logic-Based Explainable and Incremental Machine Learning.G. Gupta, H. Wang, K. Basu, F. Shakerin, E. Salazar, S. Varanasi, P. Padalkar, и S. Dasgupta. Prolog: The Next 50 Years, том 13900 из Lecture Notes in Computer Science, Springer, (2023)Semantic Analysis of Assurance Cases using s(CASP).A. Murugesan, I. Wong, R. Stroud, J. Arias, E. Salazar, G. Gupta, R. Bloomfield, S. Varadarajan, и J. Rushby. ICLP Workshops, том 3437 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Graph Based Answer Set Programming Solver Systems.F. Li, E. Salazar, и G. Gupta. ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)LTL Model Checking using Coinductive Answer Set Programming.S. Varanasi, N. Saeedloei, E. Salazar, J. Arias, и G. Gupta. ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Prolog: Past, Present, and Future.G. Gupta, E. Salazar, F. Shakerin, J. Arias, S. Varanasi, K. Basu, H. Wang, F. Li, S. Erbatur, P. Padalkar и 3 other автор(ы). Prolog: The Next 50 Years, том 13900 из Lecture Notes in Computer Science, Springer, (2023)Theory Revision with Goal-directed ASP.E. Salazar. ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).S. Varanasi, B. Hall, J. Arias, E. Salazar, F. Li, K. Basu, K. Driscoll, и G. Gupta. ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.Z. Xu, J. Arias, E. Salazar, Z. Chen, S. Varanasi, K. Basu, и G. Gupta. PADL, том 13880 из Lecture Notes in Computer Science, стр. 261-278. Springer, (2023)Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).S. Varanasi, J. Arias, E. Salazar, F. Li, K. Basu, и G. Gupta. PADL, том 13165 из Lecture Notes in Computer Science, стр. 181-190. Springer, (2022)

BibSonomy

Disambiguation