×

Found 16 Software Packages (Results 1–16)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Referenced in: 81 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; PRISM-games; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MCMAS-SLK

Software Authors:   Čermák, P.; Lomuscio, A.; Mogavero, F.; Murano, A.
Referenced in: 19 Publications (2014–2021)
Related Software: MCMAS; MOCHA; EAGLE; PRISM; PRISM-games; EVE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TABLEAUX

Software Authors:   Catach, Laurent
Referenced in: 18 Publications (1991–2016)
Related Software: Pesca; KRIPKE; Imogen; IntHistGC; ileanCoP; LoTREC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DEMO

Software Authors:   Jan van Eijck
Referenced in: 9 Publications (2007–2021)
Related Software: SMCDEL; MCK; MCMAS; Haskell; HasCacBDD; CacBDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

selp

Software Authors:   Manuel Bichler, Michael Morak, Stefan Woltran
Referenced in: 8 Publications (2019–2022)
Related Software: Clingo; htd; eclingo; WASP; GI-log; Lpopt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SMCDEL

Software Authors:   Malvin Gattinger
Referenced in: 8 Publications (2015–2021)
Related Software: DEMO; MCMAS; MCK; PDDL; HasCacBDD; CacBDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Aximo

Software Authors:   Richards, S., M. Sadrzadeh
Referenced in: 4 Publications (2009–2016)
Related Software: DEMO; Pesca
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

eclingo

Software Authors:   Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
Referenced in: 4 Publications (2020–2022)
Related Software: Clingo; selp; htd; lp2normal; WASP; Smodels; …
Main Fields: Computer science (68-XX)

GI-log

Software Authors:   Zhang, Zhizheng; Wang, Bin; Zhang, Shutao
Referenced in: 3 Publications (2016–2020)
Related Software: selp; Clingo; Gringo; Lpopt; htd; WASP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LDYIS

Software Authors:   Lomuscio, Alessio; Penczek, Wojciech
Referenced in: 3 Publications (2008–2011)
Related Software: MCMAS-X; MCMAS; Casper; AVISPA; TAPS; VerICS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Epistemic Logic

Software Authors:   Asta Halkjær From
Referenced in: 2 Publications (2021)
Related Software: Archive Formal Proofs; FOL Fitting; SQEMA; Sledgehammer; HOL; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Hintikka's world

Software Authors:   François Schwarzentruber
Referenced in: 2 Publications (2020)
Related Software: MCMAS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Wviews

Software Authors:   Kelly, M.
Referenced in: 2 Publications (2019–2020)
Related Software: Clingo; Gringo; eclingo; ELPS; ESParser; ESmodels; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ELPS

Software Authors:   Balai, E.
Referenced in: 1 Publication (2019)
Related Software: ESParser; ESmodels; GISolver; EHEX; Wviews; selp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LP3Verif

Software Authors:   Bavendiek, Kai; Schupp, Sibylle
Referenced in: 1 Publication (2022)
Related Software: SpaceTwist; LocLok; MaPIR; Casper*; CVC4
Main Fields: Computer science (68-XX)

mAL

Software Authors:   Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
Referenced in: 1 Publication (2013)
Related Software:
Main Fields: Computer science (68-XX)