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
Using the KGP Model of Agency to Design Applications	2009-04-28	Paper
Variety of Behaviours Through Profiles in Logic-Based Agents	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3624165	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fariba Sadri