Picture for Fariba Sadri

Fariba Sadri

Reactive Answer Set Programming

Add code
Sep 22, 2021
Figure 1 for Reactive Answer Set Programming
Figure 2 for Reactive Answer Set Programming
Figure 3 for Reactive Answer Set Programming
Figure 4 for Reactive Answer Set Programming
Viaarxiv icon

Programming in logic without logic programming

Add code
Jan 05, 2016
Figure 1 for Programming in logic without logic programming
Viaarxiv icon

Towards a Logic-Based Unifying Framework for Computing

Add code
Apr 24, 2014
Viaarxiv icon

Computational Logic Foundations of KGP Agents

Add code
Jan 15, 2014
Figure 1 for Computational Logic Foundations of KGP Agents
Figure 2 for Computational Logic Foundations of KGP Agents
Figure 3 for Computational Logic Foundations of KGP Agents
Viaarxiv icon