Explicit negation in linear-dynamic equilibrium logic

  1. Aguado, F.
  2. Cabalar, P.
  3. Fandinno, J.
  4. Pérez, G.
  5. Vidal, C.
Book Series:
Frontiers in Artificial Intelligence and Applications

ISSN: 0922-6389

ISBN: 9781643681009

Year of publication: 2020

Volume: 325

Pages: 569-576

Type: Conference paper

DOI: 10.3233/FAIA200140 GOOGLE SCHOLAR
Data source: Scopus