Search dblp for Publications

export results for "toc:db/conf/arqnl/arqnl2024.bht:"

 download as .bib file

@inproceedings{DBLP:conf/arqnl/AllegreLR24,
  author       = {Lo{\"{\i}}c All{\`{e}}gre and
                  Oph{\'{e}}lie Lacroix and
                  Christian Retor{\'{e}}},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {A Proof-Theoretical Approach to Some Extensions of First Order Quantification},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {92--107},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper8.pdf},
  timestamp    = {Mon, 23 Dec 2024 15:09:25 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/AllegreLR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/Galmiche24,
  author       = {Didier Galmiche},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {Separation Logics: Semantics and Proofs (invited talk abstract)},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {1--4},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_abstract1.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/Galmiche24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/GalmicheHM24,
  author       = {Didier Galmiche and
                  Brandon Hornbeck and
                  Daniel M{\'{e}}ry},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {Automated Proof Search in Intuitionistic Sentential Logic},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {24--37},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper3.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/GalmicheHM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/HaaksemaOR24,
  author       = {Bastiaan Haaksema and
                  Jens Otten and
                  Revantha Ramanayake},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {Implementing Intermediate Logics},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {14--23},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper2.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/HaaksemaOR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/Indrzejczak24,
  author       = {Andrzej Indrzejczak},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {When Epsilon meets Lambda: Extended Le{\'{s}}niewski's Ontology},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {62--79},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper6.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/Indrzejczak24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/IndrzejczakP24,
  author       = {Andrzej Indrzejczak and
                  Yaroslav I. Petrukhin},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {Bisequent Calculi for Neutral Free Logic with Definite Descriptions},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {48--61},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper5.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/IndrzejczakP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/PasettoB24,
  author       = {Luca Pasetto and
                  Christoph Benzm{\"{u}}ller},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {38--47},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper4.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/PasettoB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/Raya24,
  author       = {Rodrigo Raya},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {On Regular Relations in Parametric Array Theories},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {80--91},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper7.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/Raya24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/Slaney24,
  author       = {John K. Slaney},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {A Fresh Look at Relevant Number Theory},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {6--13},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_paper1.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/Slaney24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arqnl/Tabatabai24,
  author       = {Amir Akbar Tabatabai},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {On the Computational Content of Intuitionistic Modal Proofs (invited
                  talk abstract)},
  booktitle    = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  pages        = {5},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875/ARQNL2024\_abstract2.pdf},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/Tabatabai24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/arqnl/2024,
  editor       = {Christoph Benzm{\"{u}}ller and
                  Jens Otten and
                  Revantha Ramanayake},
  title        = {Proceedings of the 5th International Workshop on Automated Reasoning
                  in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with
                  the 12th International Joint Conference on Automated Reasoning {(IJCAR}
                  2024), Nancy, France, July 1, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3875},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3875},
  urn          = {urn:nbn:de:0074-3875-4},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arqnl/2024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.