Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A rewriting framework and logic for activities subject to regulations
KANOVICH, MAX, BAN KIRIGIN, TAJANA, NIGAM, VIVEK, SCEDROV, ANDRE, TALCOTT, CAROLYN, PEROVIC, RANKO
Published in Mathematical structures in computer science (01.03.2017)
Published in Mathematical structures in computer science (01.03.2017)
Get full text
Journal Article
Membrane Creation in Polarizationless P Systems with Active Membranes
Orellana-Martín, David, Valencia-Cabrera, Luis, Riscos-Núñez, Agustín, Pérez-Jiménez, Mario J.
Published in Fundamenta informaticae (23.10.2019)
Published in Fundamenta informaticae (23.10.2019)
Get full text
Journal Article
Adversarial Formal Semantics of Attack Trees and Related Problems
Brihaye, Thomas, Pinchinat, Sophie, Terefenko, Alexandre
Published in Electronic proceedings in theoretical computer science (20.09.2022)
Published in Electronic proceedings in theoretical computer science (20.09.2022)
Get full text
Journal Article
Dominating Set Reconfiguration with Answer Set Programming
KATO, MASATO, BANBARA, MUTSUNORI, SCHAUB, TORSTEN, SOH, TAKEHIDE, TAMURA, NAOYUKI
Published in Theory and practice of logic programming (01.07.2024)
Published in Theory and practice of logic programming (01.07.2024)
Get full text
Journal Article
A Decision-Theoretic Model of Assistance
Fern, A., Natarajan, S., Judah, K., Tadepalli, P.
Published in The Journal of artificial intelligence research (01.01.2014)
Published in The Journal of artificial intelligence research (01.01.2014)
Get full text
Journal Article
Parametrized automata simulation and application to service composition
Belkhir, Walid, Chevalier, Yannick, Rusinowitch, Michael
Published in Journal of symbolic computation (01.07.2015)
Published in Journal of symbolic computation (01.07.2015)
Get full text
Journal Article
Adversarial Formal Semantics of Attack Trees and Related Problems
Get full text
Paper
Journal Article
Dominating Set Reconfiguration with Answer Set Programming
Kato, Masato, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori
Year of Publication 14.08.2024
Year of Publication 14.08.2024
Get full text
Journal Article
How do you like your equilibrium selection problems? hard, or very hard?
Goldberg, Paul W.
Published in Proceedings of the Third international conference on Algorithmic game theory (18.10.2010)
Published in Proceedings of the Third international conference on Algorithmic game theory (18.10.2010)
Get full text
Conference Proceeding
Dominating Set Reconfiguration with Answer Set Programming
Kato, Masato, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori
Published in arXiv.org (14.08.2024)
Get full text
Published in arXiv.org (14.08.2024)
Paper