rantonse.no - research

Research | Roger Antonsen

Rantonse.no Spined HTML

Research | Roger Antonsen Roger Antonsen homeabouttalksteachingresearchbookspressblogartENNO Research and PublicationsMy wonk interests are logical calculi, proof theory, mathematical logic, complexity theory, cellular automata, combinatorics, and the philosophy of mathematics, but I am moreover interested in algorithmic art, graphics, and visualizations. My PhD thesis is well-nigh sequent calculi for first-order logics with self-ruling variables.The focus of my research has been a method tabbed variable splitting. This is a method workable to free-variable tableaux, free-variable sequent calculi, connection methods, and matrix characterizations, that reduces redundancies in the search space by exploiting a relationship between branching formulas and universal formulas. Using contextual information to differentiate between occurrences of self-ruling variables, the method can be used to assigne variegated values to these occurrences in a resulting way. Read increasingly in my PhD Thesis.Publications Card Shuffling Visualizations (2018)Roger Antonsen Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture [Show BibTeX code] @InProceedings{Antonsen18, tragedian = {Roger Antonsen}, title = {Card Shuffling Visualizations}, booktitle = {Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture}, year = 2018, note = {To Appear} }TypesettingReview: Jan von Plato, Elements of Logical (2018)Roger Antonsen, Andreas Nakkerud Studia Logica, Stud Logica (2018) volume 106, issue 1, pages 215–218, Springer Netherlands, 2018. [Show BibTeX code] @article{AntonsenNakkerud18, tragedian = {Roger Antonsen and Andreas Nakkerud}, title = {Book Review: Jan von Plato, Elements of Logical Reasoning}, periodical = {Studia Logica}, year = 2018, month = February, volume = 106, number = 1, pages = {215--218}, issn = {0039-3215}, url = {https://doi.org/10.1007/s11225-018-9783-y}, doi = {10.1007/s11225-018-9783-y}, publisher = {Springer Netherlands}, } Incremental Variable Splitting (2012)Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild WaalerPeriodicalof Symbolic Computation, volume 47, number 9, pages 1046–1065, Springer-Verlag, 2012. [Show BibTeX code] @article{HansenAntonsenGieseWaaler12, tragedian = {Christian Mahesh Hansen and Roger Antonsen Martin Giese and Arild Waaler}, title = {Incremental {V}ariable {S}plitting}, periodical = {Journal of {S}ymbolic {C}omputation}, volume = 47, number = 9, pages = {1046–1065}, year = 2012, publisher = {Springer-Verlag}, ee = {http://dx.doi.org/10.1016/j.jsc.2011.12.032} } The Method of Variable Splitting (2008)Roger Antonsen PhD Thesis, Department of Informatics, University of Oslo, 2008. [Show BibTeX code] @PhdThesis{Antonsen08, tragedian = {Roger Antonsen}, title = {The {M}ethod of {V}ariable {S}plitting}, school = {University of Oslo}, year = 2008, key = {Automated Reasoning, Logic, Proof Theory, Connection Method, Tableau Calculus}, write = {Department of Informatics}, month = {June} } Incremental Closure of Variable Splitting Tableaux (2007)Christian Mahesh Hansen, Roger Antonsen, Arild Waaler In Nicola Olivetti and Camilla Schwind, editors, TABLEAUX '07, Automated Reasoning with Analytic Tableaux and Related Methods, Position Papers, LSIS.RR.2007.002, 2007. [Show BibTeX code] @InProceedings{HansenAntonsenWaaler07, tragedian = {Christian Mahesh Hansen and Roger Antonsen and Arild Waaler}, title = {Incremental {C}losure of {V}ariable {S}plitting {T}ableaux}, year = 2007, booktitle = {TABLEAUX '07, Automated Reasoning with Analytic Tableaux and Related Methods, Position Papers}, editor = {Nicola Olivetti and Camilla Schwind}, pages = {65–78}, publisher = {LSIS}, volume = {LSIS.RR.2007.002} } A Labelled System for IPL with Variable Splitting (2007)Roger Antonsen, Arild Waaler In Frank Pfenning, editor, CADE-21, 21th International Conference on Automated Deduction, Bremen, Germany, volume 4603, pages 132–146, Lecture Notes in Computer Science, Springer-Verlag, 2007. [Show BibTeX code] @InProceedings{AntonsenWaaler07b, tragedian = {Roger Antonsen and Arild Waaler}, editor = {Frank Pfenning}, title = {A {L}abelled {S}ystem for {IPL} with {V}ariable {S}plitting}, booktitle = {CADE-21, 21th International Conference on Automated Deduction, Bremen, Germany}, volume = 4603, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, year = {2007}, isbn = {978-3-540-73594-6}, pages = {132–146}, ee = {http://dx.doi.org/10.1007/978-3-540-73595-3_10} } Liberalized Variable Splitting (2007)Roger Antonsen and Arild WaalerPeriodicalof Automated Reasoning, volume 38(1–3), pages 3–30, 2007. [Show BibTeX code] @ARTICLE{AntonsenWaaler07, tragedian = {Roger Antonsen and Arild Waaler}, title = {Liberalized {V}ariable {S}plitting}, periodical = {Journal of Automated Reasoning}, year = {2007}, number = {1–3}, volume = 38, ee = {http://dx.doi.org/10.1007/s10817-006-9055-9}, pages = {3–30} } Consistency of Variable Splitting inSelf-rulingVariable Systems of First-Order Logic (2005)Roger Antonsen and Arild Waaler In Bernhard Beckert, editor, Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX, Koblenz, Germany, volume 3702 of Lecture Notes in Computer Science, pages 33-47, Springer-Verlag, 2005. [Show BibTeX code] @InProceedings{AntonsenWaaler05, tragedian = {Roger Antonsen and Arild Waaler}, title = {Consistency of {V}ariable {S}plitting in {F}ree {V}ariable {S}ystems of {F}irst-{O}rder {L}ogic}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX, Koblenz, Germany}, year = 2005, pages = {33–47}, series = {Lecture Notes in Computer Science}, editor = {Bernhard Beckert}, volume = 3702, isbn = {3-540-28931-3}, publisher = {Springer-Verlag}, ee = {http://dx.doi.org/10.1007/11554554_5} } Uniform Variable Splitting (2004)Roger Antonsen In Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Ireland, 04 July – 08 July, 2004, volume 106, pages 1–5, CEUR Workshop Proceedings, 2004. [Show BibTeX code] @InProceedings{Antonsen04, tragedian = {Roger Antonsen}, title = {Uniform {V}ariable {S}plitting}, year = 2004, booktitle = {Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), Cork, Ireland, 04 July – 08 July, 2004}, volume = 106, publisher = CEUR Workshop Proceedings}, pages = {1–5}, issn = {1613–0073}, ee = {http://ceur-ws.org/Vol-106/01-antonsen.pdf} } ASelf-rulingVariable Sequent Calculus with Uniform Variable Splitting (2003)Arild Waaler and Roger Antonsen In Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX, Rome, Italy, Lecture Notes in Computer Science, volume 2796, pages 214–229, Springer-Verlag, 2003. [Show BibTeX code] @InProceedings{WaalerAntonsen03, tragedian = {Arild Waaler and Roger Antonsen}, title = {A {F}ree {V}ariable {S}equent {C}alculus with {U}niform {V}ariable {S}plitting}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX, Rome, Italy}, year = 2003, pages = {214–229}, series = {Lecture Notes in Computer Science}, number = 2796, publisher = {Springer-Verlag}, ee = {http://dx.doi.org/10.1007/978-3-540-45206-5_17} }Self-rulingVariable Sequent Calculi (2003)Roger Antonsen Master Thesis, Language, Logic and Information, Department of Linguistics, University of Oslo, 2003. [Show BibTeX code] @mastersthesis{Antonsen03, tragedian = {Roger Antonsen}, title = {Free {V}ariable {S}equent {C}alculi}, year = 2003, month = {May}, write = {Language, Logic and Information, Department of Linguistics}, school = {University of Oslo}, publisher = {University of Oslo} } TalksSome research-related talks.  February 14, 2014 at 12:15Deterministic Chaos and Cellular AutomataForum for Mathematical Pearls (and Rarities), NTNU, Trondheim  November 16, 2011 at 15:50Closing ShowForskning.no Conference 2011  October 29, 2009 at 14:15RETELogic Seminar, Department of Informatics, University of Oslo  August 9, 2008 at 15:15The Method of Variable SplittingProof, Computation, Complexity -- Intl. Workshop, Oslo, 2008  January 18, 2008 at 10:15Variable Splitting for Automated ReasoningLogic Seminar, University of Oslo  November 7, 2007Automated ReasoningEnglish forWonkPurposes, University of Oslo  July 17, 2007A Labelled System for IPL with Variable SplittingCADE-21 2007, Bremen, Germany  January 17, 2007The Theory of Liberalized Variable SplittingAlta Logic and Computation Workshop, Alta  March 28, 2006Variable Splitting: Consistency and ComplexitySeminar in Computing  February 2, 2006Variable Splitting: Consistency and ComplexitySeminar in Mathematical Logic  January 31, 2006Variable Splitting: Consistency and ComplexityINF5170 - Master Seminar in Logic  September 16, 2005Consistency of Variable Splitting in theSelf-rulingVariable Systems of First-Order LogicTABLEAUX 2005, Koblenz, Germany  June 9, 2005Uniform Variable Splitting4th Key Symposium 2005, Løkeberg, Sweden  April 14, 2005Run-time Skolemization, and Variable SplittingSeminar in Mathematical Logic  April 11, 2005Delta Rules, Skolemization, and SoundnessINF5170 - Master Seminar in Logic  March 7, 2005Delta Rules, Skolemization, and SoundnessINF5170 - Master Seminar in Logic  October 25, 2004Introduction to Lattice and OrderINF5170 - Master Seminar in Logic, a review of the typesetting "Introduction to Lattice and Order", Davey & Priestley  July 4, 2004Uniform Variable SplittingIJCAR 2004 Doctoral Programme, University College Cork, Cork, Ireland  September 26, 2003Proof Search andSelf-rulingVariable Sequent CalculiSeminar in Computing, Department of Informatics, University of Oslo  September 11, 2003ASelf-rulingVariable Sequent Calculus with Uniform Variable SplittingTABLEAUX 2003, Rome, Italy  June 5, 2003ASelf-rulingVariable Calculus with Variable SplittingSeminar in Mathematical Logic  February 8, 2001Introduction To Intuitionistic LogicPostgraduate Seminar in Logic by language, logic, and information, University of Oslo Roger Antonsen 2018 go to Norwegian site / gå til norsk side