Fariba Sadri

Available identifiers

zbMath Open sadri.faribaMaRDI QIDQ264956

List of research outcomes

Publication	Date of Publication	Type
Reactive Answer Set Programming	2023-12-12	Paper
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages	2019-09-19	Paper
Programming in logic without logic programming	2017-11-09	Paper
Reactive computing as model generation	2016-04-01	Paper
Teleo-Reactive Abductive Logic Programs	2012-07-23	Paper
Abductive logic programming agents with destructive databases	2012-01-13	Paper
An agent language with destructive assignment and model-theoretic semantics	2010-08-24	Paper
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments	2009-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q3624165	2009-04-28	Paper
Variety of Behaviours Through Profiles in Logic-Based Agents	2009-04-28	Paper
Using the KGP Model of Agency to Design Applications	2009-04-28	Paper
A Formal Analysis of KGP Agents	2008-10-30	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Normative KGP agents	2006-10-16	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4739315	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4708936	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4518912	2001-06-13	Paper
From logic programming towards multi-agent systems	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4246956	1999-06-16	Paper
Reconciling the event calculus with the situation calculus	1997-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3983044	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3814839	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733443	1987-01-01	Paper

Research outcomes over time

This page was built for person: Fariba Sadri